From 7560b5509ee8172dfe8034c2aecf5011f63abc83 Mon Sep 17 00:00:00 2001
From: Jack Pappas <jackp@server.fake>
Date: Sat, 13 Jul 2013 09:16:24 -0400
Subject: [PATCH] Remove optimization flag, for now. This'll help provide
 better error information whilst we're working out remaining bugs.

---
 hol.bat | 1 -
 1 file changed, 1 deletion(-)

diff --git a/hol.bat b/hol.bat
index 8d44a9a..4c5e1f0 100644
--- a/hol.bat
+++ b/hol.bat
@@ -1,5 +1,4 @@
 fsi^
-  --optimize+^
   --lib:NHol^
   --use:system.fsx^
   --use:lib.fs^