diff options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index bdf2873f..c235d2a2 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -738,6 +738,7 @@ fun p_exp' par env (e, loc) = tables val outputs = exps @ tables + val outputs = ListMergeSort.sort (fn ((s1, _), (s2, _)) => String.compare (s1, s2) = GREATER) outputs val wontLeakStrings = notLeaky env true state val wontLeakAnything = notLeaky env false state @@ -1721,7 +1722,7 @@ fun p_file env (ds, ps) = val q'' = String.concat ["SELECT COUNT(*) FROM pg_attribute WHERE attrelid = (SELECT oid FROM pg_class WHERE relname = '", s, - "') AND attnum >= 0"] + "') AND attname LIKE 'uw_%'"] in box [string "res = PQexec(conn, \"", string q, |