From 97570513feb954bc3845f349700f1117fd50ca4b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 May 2009 15:25:27 -0400
Subject: Expose resolveClass from Elaborate

---
 src/elaborate.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/elaborate.sig')

diff --git a/src/elaborate.sig b/src/elaborate.sig
index cab3c3c5..0dbf36e3 100644
--- a/src/elaborate.sig
+++ b/src/elaborate.sig
@@ -30,4 +30,6 @@ signature ELABORATE = sig
     val elabFile : Source.sgn_item list -> Source.decl list -> Source.sgn_item list
                    -> ElabEnv.env -> Source.file -> Elab.file
 
+    val resolveClass : ElabEnv.env -> Elab.con -> Elab.exp option
+
 end
-- 
cgit v1.2.3