Skip to content

Commit 562ccb0

Browse files
committed
version_parser: ensure triple
1 parent 0d0e68a commit 562ccb0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

language-server/etc/version_parser.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ let main () =
99
(* sanitization *)
1010
let l =
1111
match l with
12-
| l when List.for_all is_number l -> l
12+
| [_;_;_] as l when List.for_all is_number l -> l
1313
| [_] -> ["99";"99";"99"]
1414
| _ -> Printf.eprintf "version_parser: cannot parse: %s\n" v; exit 1 in
1515
let open Format in

0 commit comments

Comments
 (0)