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 ()