From 17564e4922acda6b72bf39de7a8c23ed0c0178f6 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Sat, 23 Jul 2016 16:21:44 -0400
Subject: Imported Upstream version 8.5.1

---
 print.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'print.mli')

diff --git a/print.mli b/print.mli
index 5b3dc15..7fab3be 100644
--- a/print.mli
+++ b/print.mli
@@ -18,6 +18,6 @@ val print :
   Coq.Relation.t ->
   Theory.Trans.ir ->
   (int * Matcher.Terms.t * Matcher.Subst.t Search_monad.m) Search_monad.m ->
-  Term.rel_context  ->
+  Context.rel_context  ->
   Proof_type.tactic
 
-- 
cgit v1.2.3