summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 16:35:09 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 16:35:09 -0500
commit5b85528f9f0674a04add1fcf092a9acd4e7d1bdc (patch)
treebe9967964067f1932f00ba934cc0a3881312f990 /src/compiler.sig
parent4acc576d52308431a4d0311e8b37984ab3d0b0bc (diff)
Module roots
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig
index fbc3011e..fd1eccf8 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -157,5 +157,6 @@ signature COMPILER = sig
val debug : bool ref
val addPath : string * string -> unit
+ val addModuleRoot : string * string -> unit
end