aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/check.icl')
-rw-r--r--frontend/check.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl
index 0e8f0c7..e9588e4 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -274,7 +274,7 @@ where
# (dcl_mod, modules) = modules![gi_module]
= (dcl_mod.dcl_common.com_generic_defs.[gi_index], generic_defs, modules)
- add_case_to_generic :: !GenericDef !GlobalIndex !*Heaps -> !*Heaps
+ add_case_to_generic :: !GenericDef !GlobalIndex !*Heaps -> *Heaps
add_case_to_generic {gen_info_ptr} index heaps=:{hp_generic_heap}
# (info=:{gen_cases}, hp_generic_heap) = readPtr gen_info_ptr hp_generic_heap
# info = { info & gen_cases = [index:gen_cases]}