From 4acc576d52308431a4d0311e8b37984ab3d0b0bc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Dec 2009 15:49:52 -0500
Subject: Convenience libifying; allow more NULLs with globals

---
 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 e34b771e..fbc3011e 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -156,4 +156,6 @@ signature COMPILER = sig
 
     val debug : bool ref
 
+    val addPath : string * string -> unit
+
 end
-- 
cgit v1.2.3