From b56b655f0bea1922999305d8e88bf16e874098a3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 20 Jul 2017 08:24:33 +0000
Subject: Add checks for locals with type Void

---
 Sil/Check.dcl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Sil/Check.dcl')

diff --git a/Sil/Check.dcl b/Sil/Check.dcl
index 1d5929d..e71448f 100644
--- a/Sil/Check.dcl
+++ b/Sil/Check.dcl
@@ -12,6 +12,7 @@ from Sil.Syntax import :: Program, :: Name
 	| DuplicateLocalName Name Name
 	| ReturnExpressionFromVoidError Name
 	| NoReturnFromNonVoidError Name
+	| LocalVoid Name Name
 
 instance toString CheckError
 
-- 
cgit v1.2.3