diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 2 |
1 files changed, 1 insertions, 1 deletions
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 }} |