aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorronny2001-12-03 10:39:55 +0000
committerronny2001-12-03 10:39:55 +0000
commit5166fd34096087b7e89621f5cdafc51e1fd32817 (patch)
tree4a34d572bec6baf8051cc0fe26778a1ee93bbd5a
parentinitPtr modifies the *World (diff)
removed unused field (to make the module compilable with Clean 2.0)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@914 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/postparse.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/postparse.icl b/frontend/postparse.icl
index a5153fe..f514989 100644
--- a/frontend/postparse.icl
+++ b/frontend/postparse.icl
@@ -1092,7 +1092,7 @@ scanModule mod=:{mod_name,mod_type,mod_defs = pdefs} cached_modules support_gene
(macro_range, ca) = addFunctionsRange macro_defs ca
(def_instances, ca) = collectFunctions defs.def_instances True ca
- { ca_error = {pea_file = err_file,pea_ok}, ca_predefs = predefs, ca_rev_fun_defs, ca_hash_table } = ca
+ { ca_error = {pea_file = err_file,pea_ok}, ca_rev_fun_defs, ca_hash_table } = ca
mod = { mod & mod_imports = imports, mod_imported_objects = imported_objects, mod_defs = { defs & def_instances = def_instances,
def_macro_indices = macro_range }}