1 files changed, 1 insertions, 1 deletions
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