From 5badaf182a69fc7d67f9ae2e5a0a8e5bf7edea36 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 26 Oct 2008 08:41:17 -0400
Subject: Avoid using libpq when unneeded

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

(limited to 'src/compiler.sig')

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