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

---
 matcher.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'matcher.ml')

diff --git a/matcher.ml b/matcher.ml
index 2fd0517..1dcb1d2 100644
--- a/matcher.ml
+++ b/matcher.ml
@@ -455,7 +455,7 @@ end
        | Dot (s,l,r) -> Dot (s, aux l, aux r)
        | Var i -> 
 	   begin match find t i  with
-	     | None -> Errors.error "aac_tactics: instantiate failure"
+	     | None -> CErrors.error "aac_tactics: instantiate failure"
 	     | Some x -> t_of_term  x
 	   end
      in aux x
@@ -1092,7 +1092,7 @@ let unit_warning p ~nullif ~unitif =
   if not (Search.is_empty unitif)
   then
     begin
-      Pp.msg_warning
+      Feedback.msg_warning
 	(Pp.str
 	   "[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing");
     end
-- 
cgit v1.2.3