From da3dbba11e21149ab08eb95526918a91840783c2 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/demo.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/demo.sig')

diff --git a/src/demo.sig b/src/demo.sig
index 4bb4a19e..5f5fa2bb 100644
--- a/src/demo.sig
+++ b/src/demo.sig
@@ -28,5 +28,6 @@
 signature DEMO = sig
 
     val make : {prefix : string, dirname : string, guided : bool} -> unit
+    val make' : {prefix : string, dirname : string, guided : bool} -> bool
 
 end
-- 
cgit v1.2.3