From f2ae62f46ac8b9cefc841bd064c7ea8317cc9752 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 May 2012 12:45:35 -0400
Subject: Send daemon output to calling process

---
 src/elaborate.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elaborate.sig')

diff --git a/src/elaborate.sig b/src/elaborate.sig
index 18e6c3b4..b4a4da88 100644
--- a/src/elaborate.sig
+++ b/src/elaborate.sig
@@ -42,5 +42,6 @@ signature ELABORATE = sig
      * early phase. *)
 
     val incremental : bool ref
+    val verbose : bool ref
 
 end
-- 
cgit v1.2.3