vi2vo: new flag -schedule-vi2vo

1 files changed, 2 insertions, 1 deletions

diff --git a/tools/coqc.ml b/tools/coqc.ml
index dbfdc40a2e..e835091ea3 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -151,7 +151,8 @@ let parse_args () =
     | "-R" :: s :: "-as" :: t :: rem ->	parse (cfiles,t::"-as"::s::"-R"::args) rem
     | "-R" :: s :: "-as" :: [] -> usage ()
     | "-R" :: s :: t :: rem -> parse (cfiles,t::s::"-R"::args) rem
-    | ("-schedule-vi-checking" |"-check-vi-tasks" as o) :: s :: rem ->
+    | ("-schedule-vi-checking"
+      |"-check-vi-tasks" | "-schedule-vi2vo" as o) :: s :: rem ->
         let nodash, rem =
           CList.split_when (fun x -> String.length x > 1 && x.[0] = '-') rem in
         extra_arg_needed := false;