From 381cdb4213afe0eb08aa393cb82ed4f34570e40a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 16 Apr 2012 09:46:42 -0400
Subject: Do a lot more type simplification for error messages

---
 src/elab_ops.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab_ops.sig')

diff --git a/src/elab_ops.sig b/src/elab_ops.sig
index ed4c7d68..97e4b602 100644
--- a/src/elab_ops.sig
+++ b/src/elab_ops.sig
@@ -40,6 +40,7 @@ signature ELAB_OPS = sig
     val subStrInSgn : int * int -> Elab.sgn -> Elab.sgn
 
     val hnormCon : ElabEnv.env -> Elab.con -> Elab.con
+    val reduceCon : ElabEnv.env -> Elab.con -> Elab.con
 
     val identity : int ref
     val distribute : int ref
-- 
cgit v1.2.3