aboutsummaryrefslogtreecommitdiff
path: root/main/CleanCocl.prj
diff options
context:
space:
mode:
authorjohnvg2001-06-21 14:13:14 +0000
committerjohnvg2001-06-21 14:13:14 +0000
commit0fb20cd67f7e625138359944444594b9c3481627 (patch)
treec07cf53dd069b48aca28e6e0bf592f59453bd3ca /main/CleanCocl.prj
parentbug fix: line numbers in type errors for let bindings (diff)
enable 'check indices'
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@493 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/CleanCocl.prj')
-rw-r--r--main/CleanCocl.prj3
1 files changed, 1 insertions, 2 deletions
diff --git a/main/CleanCocl.prj b/main/CleanCocl.prj
index d3fd80e..eea2b57 100644
--- a/main/CleanCocl.prj
+++ b/main/CleanCocl.prj
@@ -3,7 +3,7 @@ Global
Built: True
CodeGen
CheckStacks: False
- CheckIndexes: False
+ CheckIndexes: True
KeepABC: False
TargetProcessor: CurrentProcessor
Application
@@ -121,4 +121,3 @@ MainModule
Module: syntax
Module: typeproperties
Module: utilities
-OtherModules