From d6b698a6ad00a5f707ae48af039388687ac9b4ba Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 27 May 2010 16:36:17 -0400
Subject: -moduleOf command-line option; compatibility fixes and better error
 messages for SQLite

---
 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 cc23fe74..16207e8b 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -169,4 +169,6 @@ signature COMPILER = sig
     val addPath : string * string -> unit
     val addModuleRoot : string * string -> unit
 
+    val moduleOf : string -> string
+
 end
-- 
cgit v1.2.3