--- ged2gwb/ged2gwb2.ml.orig 2024-02-11 19:44:49 UTC +++ ged2gwb/ged2gwb2.ml @@ -501,7 +501,7 @@ value date_lexer = ; value date_lexer = - {Token.tok_func s = (make_date_lexing s, fun _ -> Token.dummy_loc); + {Token.tok_func s = (make_date_lexing s, Plexing.Locations.create ()); Token.tok_using = using_token; Token.tok_removing _ = (); Token.tok_match = tparse; Token.tok_text _ = ""; Token.tok_comm = None}