From b585307ec4ec73b9586e22a3e13caf8ff6a3380b Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 8 Aug 2012 10:36:24 +0000
Subject: make field aci_linearity_of_patterns of record ActiveCaseInfo strict

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2138 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 86290e4..37d020a 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -893,7 +893,7 @@ cNotVarNumber :== -1
 	{	aci_params					:: ![FreeVar]
 	,	aci_opt_unfolder			:: !(Optional SymbIdent)
 	,	aci_free_vars				:: !Optional [BoundVar]
-	,	aci_linearity_of_patterns	:: ![[Bool]]
+	,	aci_linearity_of_patterns	:: ![![#Bool!]!]
 	,	aci_safe					:: !Bool
 	}
 
-- 
cgit v1.2.3