diff options
author | ronny | 2001-12-03 10:39:55 +0000 |
---|---|---|
committer | ronny | 2001-12-03 10:39:55 +0000 |
commit | 5166fd34096087b7e89621f5cdafc51e1fd32817 (patch) | |
tree | 4a34d572bec6baf8051cc0fe26778a1ee93bbd5a /frontend/utilities.dcl | |
parent | initPtr 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