From fbbff496c7ed40da7df030d70cecf9b617183c63 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Thu, 29 Aug 2019 17:07:23 +0200 Subject: [PATCH] Cosmetics. --- src/parser/pascaligo/Lexer.mll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser/pascaligo/Lexer.mll b/src/parser/pascaligo/Lexer.mll index 90be90ff9..c0e5283c1 100644 --- a/src/parser/pascaligo/Lexer.mll +++ b/src/parser/pascaligo/Lexer.mll @@ -502,7 +502,7 @@ and scan state = parse | constr { mk_constr state lexbuf |> enqueue } | bytes { (mk_bytes seq) state lexbuf |> enqueue } | natural 'n' { mk_nat state lexbuf |> enqueue } -| natural "mtz" { mk_mtz state lexbuf |> enqueue } +| natural "mtz" { mk_mtz state lexbuf |> enqueue } | integer { mk_int state lexbuf |> enqueue } | symbol { mk_sym state lexbuf |> enqueue } | eof { mk_eof state lexbuf |> enqueue }