diff options
Diffstat (limited to 'src/main.mlton.sml')
| -rw-r--r-- | src/main.mlton.sml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 5ecd7290..3ae968b0 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -47,7 +47,6 @@ fun oneRun args = Elaborate.unifyMore := false; Compiler.dumpSource := false; Compiler.doIflow := false; - Compiler.doSqlcache := false; Demo.noEmacs := false; Settings.setDebug false) @@ -161,7 +160,7 @@ fun oneRun args = (Compiler.doIflow := true; doArgs rest) | "-sqlcache" :: rest => - (Compiler.doSqlcache := true; + (Settings.setSqlcache true; doArgs rest) | "-moduleOf" :: fname :: _ => (print (Compiler.moduleOf fname ^ "\n"); |