# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1212960091 14400
# Node ID ea15905e598df92083444038546d1e8ee3378a70
# Parent  bfa2e9ae4df8838039a5f8bc9edcffa8a7ba15bb
Run a shake before reducing

diff -r bfa2e9ae4df8 -r ea15905e598d src/compiler.sml
--- a/src/compiler.sml	Sun Jun 08 17:15:09 2008 -0400
+++ b/src/compiler.sml	Sun Jun 08 17:21:31 2008 -0400
@@ -75,7 +75,7 @@
 fun reduce eenv cenv filename =
     case corify eenv cenv filename of
         NONE => NONE
-      | SOME file => SOME (Reduce.reduce file)
+      | SOME file => SOME (Reduce.reduce (Shake.shake file))
 
 fun shake eenv cenv filename =
     case reduce eenv cenv filename of