From fe76e2ad510ec9e4df965a9620f8d36778222c08 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 28 Jul 2017 23:46:38 +0200
Subject: Add globals on A-stack

---
 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 a34eb99..9eff566 100644
--- a/Sil/Check.dcl
+++ b/Sil/Check.dcl
@@ -15,6 +15,7 @@ from Sil.Types import :: Type
 	| ReturnExpressionFromVoid Name
 	| NoReturnFromNonVoid Name
 	| LocalVoid Name Name
+	| BasicGlobal Name
 
 instance toString CheckError
 
-- 
cgit v1.2.3