From 489ae9fdc1b78eac867252e5088baa632d85f8c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Dec 2009 19:26:52 -0500
Subject: Especialize uses a termination measure based on number of arguments
 introduced

---
 src/compiler.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index 1a41eaea..2b08bff4 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -152,4 +152,6 @@ signature COMPILER = sig
     val toChecknest : (string, Cjr.file) transform
     val toSqlify : (string, Cjr.file) transform
 
+    val debug : bool ref
+
 end
-- 
cgit v1.2.3