From 24796b700bb497897bdcd2671c1083f0c462906a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 15 Jan 2011 20:06:00 -0500
Subject: Use -debug flag properly when compiling in single-source mode

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compiler.sml b/src/compiler.sml
index 61fa23b1..db500b6b 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -360,7 +360,7 @@ fun parseUrp' accLibs fname =
                        sources = [fname],
                        exe = fname ^ ".exe",
                        sql = NONE,
-                       debug = false,
+                       debug = Settings.getDebug (),
                        profile = false,
                        timeout = 60,
                        ffi = [],
-- 
cgit v1.2.3