--- a/src/compiler.sml	Sat Nov 01 21:19:43 2008 -0400
+++ b/src/compiler.sml	Sat Nov 01 21:24:43 2008 -0400
@@ -418,12 +418,19 @@
 
 val toEspecialize = transform especialize "especialize" o toCorify
 
+val core_untangle = {
+    func = CoreUntangle.untangle,
+    print = CorePrint.p_file CoreEnv.empty
+}
+
+val toCore_untangle = transform core_untangle "core_untangle" o toEspecialize
+
 val shake = {
     func = Shake.shake,
     print = CorePrint.p_file CoreEnv.empty
 }
 
-val toShake1 = transform shake "shake1" o toEspecialize
+val toShake1 = transform shake "shake1" o toCore_untangle
 
 val tag = {
     func = Tag.tag,