From 15a9b4a7a99498895addb74ffa9a711ea354c651 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 2 Apr 2018 03:51:52 +0200
Subject: [coq] Adapt to coq/coq#6960.

Minor, a couple of tactic-related types moved.
---
 src/tac2stdlib.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/tac2stdlib.ml')

diff --git a/src/tac2stdlib.ml b/src/tac2stdlib.ml
index 28d4967874..9ed3d5b32e 100644
--- a/src/tac2stdlib.ml
+++ b/src/tac2stdlib.ml
@@ -186,9 +186,9 @@ let to_strategy v = match Value.to_int v with
 let strategy = make_to_repr to_strategy
 
 let to_inversion_kind v = match Value.to_int v with
-| 0 -> Misctypes.SimpleInversion
-| 1 -> Misctypes.FullInversion
-| 2 -> Misctypes.FullInversionClear
+| 0 -> Inv.SimpleInversion
+| 1 -> Inv.FullInversion
+| 2 -> Inv.FullInversionClear
 | _ -> assert false
 
 let inversion_kind = make_to_repr to_inversion_kind
-- 
cgit v1.2.3