diff src/demo.sml @ 502:8875ff2e85dc

Profiling support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 12:16:30 -0500
parents 7ef4b2911b09
children a8effb6159c2
line wrap: on
line diff
--- a/src/demo.sml	Thu Nov 20 11:34:36 2008 -0500
+++ b/src/demo.sml	Thu Nov 20 12:16:30 2008 -0500
@@ -92,7 +92,8 @@
                                        file = "demo.exe"},
             sql = SOME (OS.Path.joinDirFile {dir = dirname,
                                              file = "demo.sql"}),
-            debug = false
+            debug = false,
+            profile = false
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")