diff options
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, |