diff options
| author |  Ziv Scully <ziv@mit.edu> | 2014-05-30 12:00:00 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2014-05-30 12:00:00 -0400 |
| commit | 8766bd82ba931a28976319fe5bd76dc97d1218d6 (patch) | |
| tree | 9c7471435de63289f8b7568d2faf513db8084af5 /src | |
| parent | dc336268adfbf2b05b34ab006de5990f8ce9086c (diff) | |
Removes DBMS choice override from compiler.sml (which was there for debugging).
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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, |