Add rocq votour subcommand (calling votour as public exe in rocq-ru…

…ntime)
SkySkimmer · Dec 10, 2024 · 98ce49a · 98ce49a
1 parent 16f6811
commit 98ce49a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/topbin/rocq.ml b/topbin/rocq.ml
@@ -46,6 +46,7 @@ let () =
 
   (* public executables *)
   | "check" :: args -> with_sibling_exe opts "rocqchk" args
+  | "votour" :: args -> with_sibling_exe opts "votour" args
 
   (* statically linked subcommands *)
   | ("preprocess-mlg"|"pp-mlg") :: args -> Coqpp_main.main args