Remove optimization flag, for now. This'll help provide better error …

…information whilst we're working out remaining bugs.
jack-pappas · Jul 13, 2013 · 7560b55 · 7560b55
1 parent 37ccc4a
commit 7560b55
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/hol.bat b/hol.bat
@@ -1,5 +1,4 @@
 fsi^
-  --optimize+^
   --lib:NHol^
   --use:system.fsx^
   --use:lib.fs^