aboutsummaryrefslogtreecommitdiff
path: root/frontend/explicitimports.dcl
diff options
context:
space:
mode:
authormartinw1999-11-12 09:34:53 +0000
committermartinw1999-11-12 09:34:53 +0000
commitb45e9103a0b6ec3f84b9702218d1663a80315f56 (patch)
tree5bdf3365782636cdcd71a52a42be37d34a105c5e /frontend/explicitimports.dcl
parentextension: no longer necessary to repeat macros in icl-file (diff)
bug fix in trans.icl
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@43 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
-rw-r--r--frontend/explicitimports.dcl1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl
index 45562f6..3a1b1f9 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -8,7 +8,6 @@ temporary_import_solution_XXX yes no :== yes
// This feature will be removed, when all programs are ported to Clean 2.0. The last Constructors of AtomType
// and StructureType should then be removed also
-// MW2 everything changed in this dcl
:: FunctionConsequence
possibly_filter_decls :: .[ImportDeclaration] u:[w:(.Index,y:Declarations)] (.FileName,.LineNr) *{#.DclModule} *CheckState -> (v:[x:(Index,z:Declarations)],.{#DclModule},.CheckState), [y <= z, w <= x, u <= v];