From c15571e367cf4d75c9e4aac589170e0213e4fe3b Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Wed, 23 Jul 2014 17:24:18 +0200
Subject: fixup fakeide test-suite

---
 tools/coqc.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqc.ml b/tools/coqc.ml
index 1d416a1c44..5aa6f0b049 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -96,6 +96,7 @@ let parse_args () =
       |"-impredicative-set"|"-vm"|"-no-native-compiler"
       |"-verbose-compat-notations"|"-no-compat-notations"
       |"-indices-matter"|"-quick"
+      |"-async-proofs-always-delegate"|"-async-proofs-never-reopen-branch"
       as o) :: rem ->
 	parse (cfiles,o::args) rem
 
@@ -105,7 +106,7 @@ let parse_args () =
       |"-load-vernac-source"|"-l"|"-load-vernac-object"
       |"-load-ml-source"|"-require"|"-load-ml-object"
       |"-init-file"|"-dump-glob"|"-compat"|"-coqlib"
-      |"-async-proofs-j" |"-async-proofs-worker-flags" |"-async-proofs"
+      |"-async-proofs-j" |"-async-proofs-private-flags" |"-async-proofs"
       as o) :: rem ->
 	begin
 	  match rem with
-- 
cgit v1.2.3