From 64e63324f509a32f4139c5a6070fbdadb0dc35fc Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 13 Jul 2010 11:44:10 +0000
Subject: improve failed explicit import error message

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

(limited to 'frontend/explicitimports.dcl')

diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl
index 334b9e6..0ffc679 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -34,7 +34,7 @@ checkExplicitImportCompleteness :: ![([Declaration], Position)] ![([Declaration]
 										!*{#DclModule} !*{#*{#FunDef}} !*ExpressionHeap !*CheckState
 									-> (!.{#DclModule},!*{#*{#FunDef}},!.ExpressionHeap,!.CheckState)
 
-store_qualified_explicit_imports_in_symbol_table :: ![([Declaration],Int,Position)] ![(SymbolPtr,STE_Kind)] !*SymbolTable *{#DclModule} -> (![(SymbolPtr,STE_Kind)],!*SymbolTable,!*{#DclModule})
+store_qualified_explicit_imports_in_symbol_table :: ![([Declaration],Int,Position)] ![(SymbolPtr,STE_Kind)] !*SymbolTable !*{#DclModule} -> (![(SymbolPtr,STE_Kind)],!*SymbolTable,!*{#DclModule})
 
 :: NameSpaceN:==Int
 
-- 
cgit v1.2.3