From d77604cb06fcc8e8f38ef979627aa7a7138ef0f2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 18:30:31 +0200
Subject: [vernac] remove VtMaybeOpenProof

---
 coqpp/coqpp_main.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'coqpp')

diff --git a/coqpp/coqpp_main.ml b/coqpp/coqpp_main.ml
index d6ae0a7d6f..d5aedfcbb1 100644
--- a/coqpp/coqpp_main.ml
+++ b/coqpp/coqpp_main.ml
@@ -359,7 +359,6 @@ let print_atts_right fmt = function
 
 let understand_state = function
   | "close_proof" -> "VtCloseProof", false
-  | "maybe_open_proof" -> "VtMaybeOpenProof", true
   | "open_proof" -> "VtOpenProof", true
   | "proof" -> "VtModifyProof", false
   | "proof_opt_query" -> "VtReadProofOpt", false
-- 
cgit v1.2.3