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

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

(limited to 'theory.mli')

diff --git a/theory.mli b/theory.mli
index cc9a617..1dae57b 100644
--- a/theory.mli
+++ b/theory.mli
@@ -160,7 +160,7 @@ module Trans :  sig
       reconstruct the named products on top of it. In particular, this
       allow us to print the context put around the left (or right)
       hand side of a pattern. *)
-  val raw_constr_of_t : ir ->  Coq.Relation.t -> (Term.rel_context)  ->Matcher.Terms.t -> Term.constr
+  val raw_constr_of_t : ir ->  Coq.Relation.t -> (Context.rel_context)  ->Matcher.Terms.t -> Term.constr
 
   (** {2 Building reified terms} *)
 
-- 
cgit v1.2.3