aboutsummaryrefslogtreecommitdiff
path: root/frontend/utilities.dcl
diff options
context:
space:
mode:
authorronny2001-12-03 10:39:55 +0000
committerronny2001-12-03 10:39:55 +0000
commit5166fd34096087b7e89621f5cdafc51e1fd32817 (patch)
tree4a34d572bec6baf8051cc0fe26778a1ee93bbd5a /frontend/utilities.dcl
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
Diffstat (limited to 'frontend/utilities.dcl')
0 files changed, 0 insertions, 0 deletions