From dcdd460710c36522ff10f1b12bbb0b0628c5542f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 17 Nov 2018 17:11:20 +0100
Subject: [coq] Overlay to adapt to coq/coq#9003

To be merged when the Coq developers merge the PR upstream.
---
 src/g_ltac2.mlg | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/g_ltac2.mlg b/src/g_ltac2.mlg
index 5aad77596d..2e4fad73fd 100644
--- a/src/g_ltac2.mlg
+++ b/src/g_ltac2.mlg
@@ -882,8 +882,8 @@ END
 {
 
 let classify_ltac2 = function
-| StrSyn _ -> Vernacexpr.VtUnknown, Vernacexpr.VtNow
-| StrMut _ | StrVal _ | StrPrm _  | StrTyp _ | StrRun _ -> Vernac_classifier.classify_as_sideeff
+| StrSyn _ -> Vernacextend.(VtUnknown, VtNow)
+| StrMut _ | StrVal _ | StrPrm _  | StrTyp _ | StrRun _ -> Vernacextend.classify_as_sideeff
 
 }
 
@@ -913,7 +913,7 @@ END
 {
 
 open G_ltac
-open Vernac_classifier
+open Vernacextend
 
 }
 
-- 
cgit v1.2.3