diff options
Diffstat (limited to 'stm/proofBlockDelimiter.ml')
-rw-r--r-- | stm/proofBlockDelimiter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/proofBlockDelimiter.ml b/stm/proofBlockDelimiter.ml index ed8553d4b..ce12185cb 100644 --- a/stm/proofBlockDelimiter.ml +++ b/stm/proofBlockDelimiter.ml @@ -127,7 +127,7 @@ let dynamic_curly_brace { dynamic_switch = id } = | `Not -> `Leaks let () = register_proof_block_delimiter - "proof-block" static_curly_brace dynamic_curly_brace + "curly" static_curly_brace dynamic_curly_brace (* ***************** par: ************************************************* *) |