diff options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 32c43d23..f3beb023 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -173,8 +173,12 @@ fun p_decl env ((d, _) : decl) = string "}"] end -fun p_page env n = box [p_enamed env n, - string "(lw_unit_v);"] +fun p_page env (s, n) = + box [string "/* ", + string s, + string " */ ", + p_enamed env n, + string "(lw_unit_v);"] fun p_file env (ds, ps) = let |