summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 12ad309a..e6ecedde 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3404,7 +3404,11 @@ fun p_file env (ds, ps) =
newline,
(* For sqlcache. *)
- box (List.map ToyCache.setupQuery (Sqlcache.getFfiInfo ())),
+ let
+ val {setupGlobal, setupQuery, ...} = Sqlcache.getCache ()
+ in
+ box (setupGlobal :: newline :: List.map setupQuery (Sqlcache.getFfiInfo ()))
+ end,
newline,
p_list_sep newline (fn x => x) pds,