From 7bd2bc26389467f685958601cff2708751764515 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 26 Apr 2009 10:45:59 -0400
Subject: Reading blobs from the database

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

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index e685ffe5..d00f111e 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -40,7 +40,8 @@ signature COMPILER = sig
          timeout : int
     }
     val compile : string -> unit
-    val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit
+    val compileC : {cname : string, oname : string, ename : string, libs : string,
+                    profile : bool, debug : bool} -> unit
 
     type ('src, 'dst) phase
     type ('src, 'dst) transform
-- 
cgit v1.2.3