From 1117d2e4a00debfbfa0157cc3e780916df72c26b Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Tue, 27 Dec 2016 16:06:42 +0000
Subject: New upstream version 8.6

---
 print.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'print.mli')

diff --git a/print.mli b/print.mli
index 7fab3be..bbb9b20 100644
--- a/print.mli
+++ b/print.mli
@@ -10,7 +10,7 @@
     tactic. *)
 
 
-(** The main printing function. {!print} uses the [Term.rel_context]
+(** The main printing function. {!print} uses the rel-context
     to rename the variables, and rebuilds raw Coq terms (for the given
     context, and the terms in the environment). In order to do so, it
     requires the information gathered by the {!Theory.Trans} module.*)
@@ -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 ->
-  Context.rel_context  ->
+  Context.Rel.t  ->
   Proof_type.tactic
 
-- 
cgit v1.2.3