From 4635acd2d4e4404b2b1a89909cd765ac310d62c5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 27 Nov 2015 15:28:12 -0500
Subject: Fix tricky case of functor signature subsumption

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

(limited to 'src/elab_env.sig')

diff --git a/src/elab_env.sig b/src/elab_env.sig
index e0c589c4..cbc85cdd 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -37,6 +37,8 @@ signature ELAB_ENV = sig
 
     type env
 
+    val dump : env -> unit
+
     val empty : env
 
     exception UnboundRel of int
-- 
cgit v1.2.3