From 10d6d18a4e3038752871acd1ff5c2194f890e043 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 4 Jan 2014 19:02:14 -0500
Subject: noMangleSql .urp directive

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

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index b2635e5e..5e60288b 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -864,6 +864,7 @@ fun parseUrp' accLibs fname =
                                    | "alwaysInline" => Settings.addAlwaysInline arg
                                    | "noXsrfProtection" => Settings.addNoXsrfProtection arg
                                    | "timeFormat" => Settings.setTimeFormat arg
+                                   | "noMangleSql" => Settings.setMangleSql false
 
                                    | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                  read ()
-- 
cgit v1.2.3