From 8766bd82ba931a28976319fe5bd76dc97d1218d6 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Fri, 30 May 2014 12:00:00 -0400
Subject: Removes DBMS choice override from compiler.sml (which was there for
 debugging).

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

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index fd143485..cbc6478d 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -606,7 +606,7 @@ fun parseUrp' accLibs fname =
                                  filterEnv = rev (!env),
                                  sources = sources,
                                  protocol = !protocol,
-                                 dbms = (*!dbms*) SOME "sqlite",
+                                 dbms = !dbms,
                                  sigFile = !sigFile,
                                  safeGets = rev (!safeGets),
                                  onError = !onError,
-- 
cgit v1.2.3