From d02305c32158c7d49f7aebacecda2b348918a3aa Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 14 Sep 2001 08:59:27 +0000
Subject: fix uniqueness bug (again)

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

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index 0d12111..33e53b6 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2164,8 +2164,7 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules
 		  cs_error = pushErrorAdmin error_location cs.cs_error
 		  cs_error = checkError ident ("not supported"+++explanation) cs_error
 		  cs_error = popErrorAdmin cs_error
-		= { cs & cs_error = cs_error }
-
+		= { cs & cs_error = cs_error, cs_predef_symbols=cs_predef_symbols}
 // ... MV
 
 arrayFunOffsetToPD_IndexTable :: !w:{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !x:{#MemberDef}, !v:{#PredefinedSymbol}) , [w<=x]
-- 
cgit v1.2.3