From 4dcd50dd2767c60f8f773fb4ca1c3d4bc68819c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 7 Jun 2016 09:57:09 -0400
Subject: Documentation

---
 lib/flags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index e78fa7c0c9..16996c144b 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -69,7 +69,7 @@ let priority_of_string = function
   | "high" -> High
   | _ -> raise (Invalid_argument "priority_of_string")
 type tac_error_filter = [ `None | `Only of string list | `All ]
-let async_proofs_tac_error_resilience = ref (`Only [ "par" ; "proof-block" ])
+let async_proofs_tac_error_resilience = ref (`Only [ "par" ; "curly" ])
 let async_proofs_cmd_error_resilience = ref true
 
 let async_proofs_is_worker () =
-- 
cgit v1.2.3