From 1f2a2f7a4e4eb37aabef37fa073c82619be5af70 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Sat, 25 Jan 2025 12:32:22 +0100 Subject: [PATCH] lpLexer: fix definition of int (#1183) --- src/parsing/lpLexer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parsing/lpLexer.ml b/src/parsing/lpLexer.ml index 8f3383963..2d2a4c20b 100644 --- a/src/parsing/lpLexer.ml +++ b/src/parsing/lpLexer.ml @@ -131,7 +131,7 @@ type token = (** Some regexp definitions. *) let space = [%sedlex.regexp? Chars " \t\n\r"] let digit = [%sedlex.regexp? '0' .. '9'] -let nat = [%sedlex.regexp? Star digit] +let nat = [%sedlex.regexp? Plus digit] let int = [%sedlex.regexp? nat | '-', nat] let float = [%sedlex.regexp? int, '.', Plus digit] let oneline_comment = [%sedlex.regexp? "//", Star (Compl ('\n' | '\r'))]