diff -r 16a52ad5a362 -r 93d8c77a13e8 CMakeLists.txt
--- a/CMakeLists.txt	Sat Dec 08 15:35:03 2012 +0100
+++ b/CMakeLists.txt	Sat Dec 08 15:38:16 2012 +0100
@@ -203,7 +203,7 @@
 else()
     message(STATUS "Building Release flavour")
 #    set(pascal_flags "-O3" "-OpPENTIUM4" "-CfSSE3" "-Xs" "-Si" ${pascal_flags})
-    set(pascal_flags "-Os" "-Ooregvar" "-Xs" "-Si" ${pascal_flags})
+    set(pascal_flags "-Os" "-Xs" "-Si" ${pascal_flags})
     set(haskell_flags "-w" "-fno-warn-unused-do-bind" ${haskell_flags})
 endif()