aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartijnv2000-06-05 12:29:26 +0000
committermartijnv2000-06-05 12:29:26 +0000
commit0dc433ea6b796229e2ffc41ab1699aad62635007 (patch)
tree30809af33d71c7fe15d13ada05ff4d07f6416968
parentreadableizing error messages (diff)
removed ---> application
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@148 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-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