# HG changeset patch
# User Ziv Scully <ziv@mit.edu>
# Date 1401465600 14400
# Node ID f0f7bf2348933b11db022b6f07e6fd416ef9619d
# Parent  c1a62ce4708338aa064c80c0c9610efcb15be140
Removes DBMS choice override from compiler.sml (which was there for debugging).

diff -r c1a62ce47083 -r f0f7bf234893 src/compiler.sml
--- a/src/compiler.sml	Tue May 27 21:38:01 2014 -0400
+++ b/src/compiler.sml	Fri May 30 12:00:00 2014 -0400
@@ -606,7 +606,7 @@
                                  filterEnv = rev (!env),
                                  sources = sources,
                                  protocol = !protocol,
-                                 dbms = (*!dbms*) SOME "sqlite",
+                                 dbms = !dbms,
                                  sigFile = !sigFile,
                                  safeGets = rev (!safeGets),
                                  onError = !onError,