Make Mono.file a record for readability upon extension.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/mono_print.sml b/src/mono_print.sml
index 0ff51f37..0b5fdadc 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -542,12 +542,12 @@ fun p_decl env (dAll as (d, _) : decl) =
                           p_policy env p]
       | DOnError _ => string "ONERROR"
 
-fun p_file env (file, _) =
+fun p_file env (file : file) =
     let
         val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
                                              (p_decl env d,
                                               E.declBinds env d))
-                             env file
+                             env (#decls file)
     in
         p_list_sep newline (fn x => x) pds
     end