From 68879bbb4bf58e4709c96ba6904071ce5d24a906 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 13 Sep 2015 17:02:17 -0400
Subject: Make Mono.file a record for readability upon extension.

---
 src/mono_print.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/mono_print.sml')

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
-- 
cgit v1.2.3