From a5e659fe49b9ce7a164155bc01e084f74009ce3d Mon Sep 17 00:00:00 2001
From: martijnv
Date: Mon, 10 Feb 2003 08:57:24 +0000
Subject: - bug fix: error for abstract datatypes in dynamic types.

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

(limited to 'frontend/checksupport.dcl')

diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index cefb3ee..e473b13 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -29,7 +29,7 @@ cNeedStdStrictLists :== 16
 
 ::	CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin,cs_x :: !CheckStateX }
 
-::	CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int }
+::	CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int, x_check_dynamic_types :: !Bool }
 
 //	SymbolTable			:== {# SymbolTableEntry}
 
-- 
cgit v1.2.3