From a5e9781ff70db7656a8e9f3d3e4bd8437a1a873f Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 2 Jul 2010 12:46:36 +0000
Subject: remove use of the icl functions array by function
 checkExplicitImportCompleteness, because it is not used because imported
 definitions cannot  use local macros.

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

(limited to 'frontend/explicitimports.dcl')

diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl
index 5eec130..334b9e6 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -31,8 +31,8 @@ solveExplicitImports :: !(IntKeyHashtable [ExplicitImport]) !{#Int} !Index
 			-> (!.SolvedImports,! (!v:{#DclModule},!.{#Int},!{!.ExplImpInfo},!.CheckState))
 
 checkExplicitImportCompleteness :: ![([Declaration], Position)] ![([Declaration], Int, Position)]
-										!*{#DclModule} !*{#FunDef} !*{#*{#FunDef}} !*ExpressionHeap !*CheckState
-									-> (!.{#DclModule},!.{#FunDef},!*{#*{#FunDef}},!.ExpressionHeap,!.CheckState)
+										!*{#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})
 
-- 
cgit v1.2.3