From 0a007ed37f34c9ae30ed860e2c3f237a616c89e6 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 30 Oct 2018 13:06:42 +0100
Subject: Adapt to coq/coq#8844 (move abstract out of tactics.ml)

---
 src/tac2core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 8ee239f803..7384652216 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -781,7 +781,7 @@ let () = define1 "progress" closure begin fun f ->
 end
 
 let () = define2 "abstract" (option ident) closure begin fun id f ->
-  Tactics.tclABSTRACT id (Proofview.tclIGNORE (thaw f)) >>= fun () ->
+  Abstract.tclABSTRACT id (Proofview.tclIGNORE (thaw f)) >>= fun () ->
   return v_unit
 end
 
-- 
cgit v1.2.3