# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1295139960 18000
# Node ID 115d217bbfbc041c9d4ae41751650a0f2f9745af
# Parent  f53ec50097a53eea82635d19dda43abe7fc7a383
Use -debug flag properly when compiling in single-source mode

diff -r f53ec50097a5 -r 115d217bbfbc src/compiler.sml
--- a/src/compiler.sml	Sat Jan 15 15:06:33 2011 -0500
+++ b/src/compiler.sml	Sat Jan 15 20:06:00 2011 -0500
@@ -360,7 +360,7 @@
                        sources = [fname],
                        exe = fname ^ ".exe",
                        sql = NONE,
-                       debug = false,
+                       debug = Settings.getDebug (),
                        profile = false,
                        timeout = 60,
                        ffi = [],