From 4dcd50dd2767c60f8f773fb4ca1c3d4bc68819c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 7 Jun 2016 09:57:09 -0400
Subject: Documentation

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

(limited to 'stm/vernac_classifier.ml')

diff --git a/stm/vernac_classifier.ml b/stm/vernac_classifier.ml
index 11e973bf5..a602d6b8a 100644
--- a/stm/vernac_classifier.ml
+++ b/stm/vernac_classifier.ml
@@ -119,7 +119,7 @@ let rec classify_vernac e =
         VtLater
     | VernacEndSubproof -> 
         VtProofStep { parallel = false;
-                      proof_block_detection = Some "proof-block" },
+                      proof_block_detection = Some "curly" },
         VtLater
     (* Options changing parser *)
     | VernacUnsetOption (["Default";"Proof";"Using"])
-- 
cgit v1.2.3