diff -r e1fa864fd6ca -r 6947d29c2a24 CMakeLists.txt
--- a/CMakeLists.txt	Tue Mar 30 23:13:12 2010 +0000
+++ b/CMakeLists.txt	Tue Mar 30 23:20:07 2010 +0000
@@ -133,7 +133,7 @@
 	set(pascal_compiler_flags_cmn "-O2" "-Xs" "-Si" ${pascal_compiler_flags_cmn})
 	set(haskell_compiler_flags_cmn "-O2" "-w")
 else(Optz)
-	set(pascal_compiler_flags_cmn "-O-" "-glhtv" "-dDEBUGFILE" "-vwnv" ${pascal_compiler_flags_cmn})
+	set(pascal_compiler_flags_cmn "-O-" "-glh" "-dDEBUGFILE" "-vwnv" ${pascal_compiler_flags_cmn})
 	set(haskell_compiler_flags_cmn "-Wall" "-debug" "-dcore-lint")
 endif(Optz)