From 95f0d4f4768d925611dc07b6cd2b5c4f9cda8b5a Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 13 Sep 2001 14:13:42 +0000
Subject: fix uniqueness error

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

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index 3bbd300..0d12111 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2159,10 +2159,10 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules
 				
 // MV ...
 	switched_off_Clean_feature pd mod_name explanation extension cs=:{cs_predef_symbols, cs_symbol_table}
-  		#! {pds_ident} = cs_predef_symbols.[pd]	
+  		# (ident,cs_predef_symbols) = cs_predef_symbols![pd].pds_ident
 		# error_location = { ip_ident = mod_name, ip_line = 1, ip_file = mod_name.id_name+++extension}
 		  cs_error = pushErrorAdmin error_location cs.cs_error
-		  cs_error = checkError pds_ident ("not supported"+++explanation) cs_error
+		  cs_error = checkError ident ("not supported"+++explanation) cs_error
 		  cs_error = popErrorAdmin cs_error
 		= { cs & cs_error = cs_error }
 
@@ -2943,4 +2943,3 @@ possibly_write_expl_imports_of_main_dcl_mod_to_file imports_ikh dcl_modules cs
 			-> (dcl_modules, cs)
 		Yes {si_explicit}
 			-> writeExplImportsToFile "dcl.txt" si_explicit dcl_modules cs
-
-- 
cgit v1.2.3