diff options
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index fae01db1..f0038de6 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1657,8 +1657,8 @@ fun p_exp' par env (e, loc) = map (fn (x', t) => ("__uwf_" ^ ident x ^ ".__uwf_" ^ ident x', t)) xts) tables - val outputs = exps @ tables - val outputs = ListMergeSort.sort (fn ((s1, _), (s2, _)) => String.compare (s1, s2) = GREATER) outputs + val sort = ListMergeSort.sort (fn ((s1, _), (s2, _)) => String.compare (s1, s2) = GREATER) + val outputs = sort exps @ sort tables val wontLeakStrings = notLeaky env true state val wontLeakAnything = notLeaky env false state |