From 4922d0d6e156338485b48ce3fd34c1179a505083 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 21 Dec 2018 18:01:17 +0100
Subject: VernacDeclareClass -> VernacExistingClass

---
 stm/vernac_classifier.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm')

diff --git a/stm/vernac_classifier.ml b/stm/vernac_classifier.ml
index b9cc7e5916..bc5c14c9b1 100644
--- a/stm/vernac_classifier.ml
+++ b/stm/vernac_classifier.ml
@@ -160,7 +160,7 @@ let classify_vernac e =
     | VernacMemOption _ | VernacPrintOption _
     | VernacGlobalCheck _
     | VernacDeclareReduction _
-    | VernacDeclareClass _ | VernacExistingInstance _
+    | VernacExistingClass _ | VernacExistingInstance _
     | VernacRegister _
     | VernacNameSectionHypSet _
     | VernacDeclareCustomEntry _
-- 
cgit v1.2.3