aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/type.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl
index 4bd89cf..4f56fa9 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -1639,7 +1639,7 @@ where
expand_type_contexts over_info_ptr (subst, expr_heap)
# (EI_Overloaded info, expr_heap) = readPtr over_info_ptr expr_heap
(oc_context, subst) = arraySubst info.oc_context subst
- = (subst, expr_heap <:= (over_info_ptr, EI_Overloaded { info & oc_context = oc_context })) ---> oc_context
+ = (subst, expr_heap <:= (over_info_ptr, EI_Overloaded { info & oc_context = oc_context })) //---> oc_context
expand_types_of_cases_and_lets [] heap_and_subst
= heap_and_subst