Clean up duplicate error

This commit is contained in:
John Whitington 2024-06-27 12:41:37 +01:00
parent 2215fbaabe
commit c5587f4a96
1 changed files with 1 additions and 1 deletions

View File

@ -417,7 +417,7 @@ let matterhorn_14_003 st st2 pdf =
let rec check_nseq n = function let rec check_nseq n = function
| E (s, cs) when is_hnum s -> | E (s, cs) when is_hnum s ->
let num = int_of_string (implode (tl (tl (explode s)))) in let num = int_of_string (implode (tl (tl (explode s)))) in
if num > n + 1 then merror_str (Printf.sprintf "%i -> %i" n num); if num > n + 1 && n > 0 then merror_str (Printf.sprintf "%i -> %i" n num);
iter (check_nseq num) cs iter (check_nseq num) cs
| E (_, cs) -> iter (check_nseq n) cs | E (_, cs) -> iter (check_nseq n) cs
in in