From 98ce49ab725a25494078d5c1c736cdaf07070e9c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 10 Dec 2024 13:51:11 +0100
Subject: [PATCH] Add `rocq votour` subcommand (calling votour as public exe in
 rocq-runtime)

---
 topbin/rocq.ml | 1 +
 1 file changed, 1 insertion(+)

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