From ccf46727369f5174e42ea96b8d9cc404bea94396 Mon Sep 17 00:00:00 2001
From: martinw
Date: Thu, 2 Nov 2000 14:09:30 +0000
Subject: optimizing performance of explicitimports

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@280 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 a227d77..68f9690 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -2,8 +2,8 @@ definition module explicitimports
 
 import syntax, checksupport
 
-possiblyFilterExplImportedDecls :: ![ImportDeclaration] u:[w:(.Index,y:Declarations)] Position u0:{#DclModule} !*CheckState
-				-> (!v:[x:(Index,z:Declarations)],!u0:{#DclModule},!.CheckState), [y <= z, w <= x, u <= v]
+possiblyFilterExplImportedDecls :: ![ImportDeclaration] u:[w:(.Index,y:Declarations)] Position *{#DclModule} !*CheckState
+				-> (!v:[x:(Index,z:Declarations)],!.{#DclModule},!.CheckState), [y <= z, w <= x, u <= v]
 
 checkExplicitImportCompleteness :: !Int ![ExplicitImport] !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState 
 				-> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState)
-- 
cgit v1.2.3