diff options
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 5a2aca85..94c57bac 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -536,7 +536,8 @@ fun reduce file = and reduceExp env = U.Exp.mapB {typ = typ, exp = exp, bind = bind} env - fun decl env d = d + fun decl env d = ((*Print.preface ("d", MonoPrint.p_decl env (d, ErrorMsg.dummySpan));*) + d) in U.File.mapB {typ = typ, exp = exp, decl = decl, bind = bind} E.empty file end |