From 6b87912ced4781e8da0a007b7ff283fc530da6c3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 3 Oct 2024 14:22:23 +0200
Subject: [PATCH] Update version_parser.ml

---
 etc/version_parser.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/version_parser.ml b/etc/version_parser.ml
index af8681bb8..87265aa4a 100644
--- a/etc/version_parser.ml
+++ b/etc/version_parser.ml
@@ -8,10 +8,10 @@ let main () =
   let l =
     match l with
     | l when List.for_all is_number l -> l
-    | ( [""] | ["%%VERSION_NUM%%"] ) -> ["99";"99";"99"]
+    | [_] -> ["99";"99";"99"]
     | _ -> Printf.eprintf "version_parser: cannot parse: %s\n" v; exit 1 in
   let open Format in
   printf "(%a)%!" (pp_print_list ~pp_sep:(fun fmt () -> pp_print_string fmt ", ") pp_print_string) l
 ;;
 
-main ()
\ No newline at end of file
+main ()