diff src/compiler.sml @ 857:3d2f6cb6d54a

-debug from the command line
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Jun 2009 10:30:51 -0400
parents 28e42b22424d
children 03e7f111fe99
line wrap: on
line diff
--- a/src/compiler.sml	Tue Jun 23 17:59:23 2009 -0400
+++ b/src/compiler.sml	Sat Jun 27 10:30:51 2009 -0400
@@ -333,7 +333,7 @@
                 val database = ref NONE
                 val exe = ref NONE
                 val sql = ref NONE
-                val debug = ref false
+                val debug = ref (Settings.getDebug ())
                 val profile = ref false
                 val timeout = ref NONE
                 val ffi = ref []