diff options
author | johnvg | 2002-10-24 11:39:47 +0000 |
---|---|---|
committer | johnvg | 2002-10-24 11:39:47 +0000 |
commit | 14385c25b7c511c5699ce272328f2f32d9d4d900 (patch) | |
tree | 1a7a5ba1a75e3585d939d61aa282b57978a6fc50 /backend/backend.icl | |
parent | skip some code when not using BOXED_RECORDS (diff) |
disable destructive root updates of records without BOXED_RECORDS
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.icl')
0 files changed, 0 insertions, 0 deletions