summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 17:21:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 17:21:31 -0400
commit0e437095df380d43e148c1348b1d00692e881461 (patch)
tree6ae46eef63045829d2101f489a16da124edaa6a3 /src
parentbc3d86e857b3b5884aba5b61d7bedb40e76e6616 (diff)
Run a shake before reducing
Diffstat (limited to 'src')
-rw-r--r--src/compiler.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index ce6f376e..45fd88e4 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -75,7 +75,7 @@ fun corify eenv cenv filename =
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