aboutsummaryrefslogtreecommitdiff
path: root/Sil/Check.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sil/Check.dcl')
-rw-r--r--Sil/Check.dcl1
1 files changed, 1 insertions, 0 deletions
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