Mercurial > urweb

diff src/reduce.sml @ 133:55d8cfa4d024

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MonoReduce
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 12:59:52 -0400
parents 813e5a52063d
children 7420fa18d657
line wrap: on
line diff
--- a/src/reduce.sml	Thu Jul 17 12:40:21 2008 -0400
+++ b/src/reduce.sml	Thu Jul 17 12:59:52 2008 -0400
@@ -171,6 +171,6 @@
 
 fun decl env d = d
 
-val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.empty
+val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} E.empty
 
 end