diff --git a/topbin/rocq.ml b/topbin/rocq.ml
index 3d6d2a5269f5..168fd5fc23de 100644
--- 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