diff src/compiler.sig @ 1090:e77079953308

Module roots
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 16:35:09 -0500
parents f1647f16097d
children 8679ba87cf3c
line wrap: on
line diff
--- a/src/compiler.sig	Thu Dec 24 15:49:52 2009 -0500
+++ b/src/compiler.sig	Thu Dec 24 16:35:09 2009 -0500
@@ -157,5 +157,6 @@
     val debug : bool ref
 
     val addPath : string * string -> unit
+    val addModuleRoot : string * string -> unit
 
 end