From 95beeda12defe36c4d4df42d3dee3bd753e19ff5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2008 15:29:09 -0500 Subject: Rename Laconic* modules to Source* --- src/compiler.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler.sig') diff --git a/src/compiler.sig b/src/compiler.sig index 92c4d679..ede5d8b5 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -29,7 +29,7 @@ signature COMPILER = sig - val parse : string -> Laconic.file option + val parse : string -> Source.file option val testParse : string -> unit -- cgit v1.2.3