From ef78dd3cc53de2e2cf66a4d8d33d657b7039a7e8 Mon Sep 17 00:00:00 2001
From: martijnv
Date: Fri, 14 Jul 2000 12:35:51 +0000
Subject: De predefined symbols worden in check.icl aangepast. Het nieuwe
 PD_coerce-symbool werd nog niet aangepast.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/check.icl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index 1ec64ca..643b22d 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -3187,6 +3187,9 @@ where
 				<=< adjust_predef_symbol PD_TypeConsSymbol		mod_index STE_Constructor
 				<=< adjust_predef_symbol PD_variablePlaceholder mod_index STE_Constructor
 				<=< adjust_predef_symbol PD_unify				mod_index STE_DclFunction
+// MV ..
+				<=< adjust_predef_symbol PD_coerce				mod_index STE_DclFunction
+// .. MV
 				<=< adjust_predef_symbol PD_undo_indirections	mod_index STE_DclFunction)
 			= (class_members, class_instances, fun_types, { cs & cs_predef_symbols = cs_predef_symbols})
 	where
-- 
cgit v1.2.3