diff options
Diffstat (limited to 'stm/vernac_classifier.ml')
| -rw-r--r-- | stm/vernac_classifier.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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"]) |