--- a/src/compiler.sml	Thu Oct 30 15:39:06 2008 -0400
+++ b/src/compiler.sml	Thu Oct 30 16:58:54 2008 -0400
@@ -404,12 +404,19 @@
 
 val toCorify = transform corify "corify" o toExplify
 
+val especialize = {
+    func = ESpecialize.specialize,
+    print = CorePrint.p_file CoreEnv.empty
+}
+
+val toEspecialize = transform especialize "especialize" o toCorify
+
 val shake = {
     func = Shake.shake,
     print = CorePrint.p_file CoreEnv.empty
 }
 
-val toShake1 = transform shake "shake1" o toCorify
+val toShake1 = transform shake "shake1" o toEspecialize
 
 val tag = {
     func = Tag.tag,