From d2b6c2e097770b5904c254c686adfad7c4ec7e0c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 22 Feb 2009 16:33:55 -0500
Subject: Turned off termination checking, for now

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compiler.sml b/src/compiler.sml
index aecefbcf..a01dbe2b 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -409,7 +409,7 @@ val explify = {
     print = ExplPrint.p_file ExplEnv.empty
 }
 
-val toExplify = transform explify "explify" o toTermination
+val toExplify = transform explify "explify" o toUnnest
 
 val corify = {
     func = Corify.corify,
-- 
cgit v1.2.3