From 14427a707f0e97e15e01bb9d297319917a0379f2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 30 Sep 2016 16:20:05 +0200
Subject: coqc: recognize -profile-ltac-cutoff

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

diff --git a/tools/coqc.ml b/tools/coqc.ml
index ecbbfefac..b59bbdb1e 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -107,7 +107,7 @@ let parse_args () =
       |"-load-ml-source"|"-require"|"-load-ml-object"
       |"-init-file"|"-dump-glob"|"-compat"|"-coqlib"|"-top"
       |"-async-proofs-j" |"-async-proofs-private-flags" |"-async-proofs" |"-w"
-      |"-o"
+      |"-o"|"-profile-ltac-cutoff" 
       as o) :: rem ->
 	begin
 	  match rem with
-- 
cgit v1.2.3