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.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend/checksupport.icl')

diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index 7bded09..2c162c7 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -33,7 +33,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 }
 
 ::	ConversionTable		:== {# .{# Int }}
 
-- 
cgit v1.2.3