From 210946aa1857eebde9b16a782cf293a83d2be008 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 29 Oct 2011 17:30:34 -0400
Subject: Shorter, more focused error messages about undetermined unification
 variables

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

(limited to 'src/elab_util.sig')

diff --git a/src/elab_util.sig b/src/elab_util.sig
index 88bdc892..2998e7db 100644
--- a/src/elab_util.sig
+++ b/src/elab_util.sig
@@ -226,6 +226,8 @@ end
 
 structure File : sig
     val maxName : Elab.file -> int
+
+    val findDecl : (Elab.decl -> bool) -> Elab.file -> Elab.decl option
 end
 
 end
-- 
cgit v1.2.3