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/proofBlockDelimiter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm/proofBlockDelimiter.ml')

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: ************************************************* *)
 
-- 
cgit v1.2.3