diff src/compiler.sig @ 1089:f1647f16097d

Convenience libifying; allow more NULLs with globals
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 15:49:52 -0500
parents 4b2f50829af5
children e77079953308
line wrap: on
line diff
--- a/src/compiler.sig	Thu Dec 24 10:59:35 2009 -0500
+++ b/src/compiler.sig	Thu Dec 24 15:49:52 2009 -0500
@@ -156,4 +156,6 @@
 
     val debug : bool ref
 
+    val addPath : string * string -> unit
+
 end