From 9ca00425af7d7097422d0e6c03c35c00d2659acd Mon Sep 17 00:00:00 2001
From: alimarin
Date: Thu, 14 Nov 2002 16:21:07 +0000
Subject: bug in checking for importing of predefined modules fixed

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

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index bffc482..791d665 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2761,7 +2761,7 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules
 		= case ste_kind of
 			STE_ClosedModule
 				-> cs
-			STE_Empty
+			_ 
 				# 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 imported"+++explanation) cs_error
-- 
cgit v1.2.3