diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 98ebe58..3cccdc8 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -6,9 +6,6 @@ import utilities :: VarHeap :== Heap VarInfo -SwitchUniquenessBug with_bug without_bug :== with_bug -// temporary switch for compiling the Object I/O library - cIclModIndex :== 0 CS_NotChecked :== -1 |