Cosmetics.

This commit is contained in:
Christian Rinderknecht 2019-08-29 17:07:23 +02:00
parent f99bd0d1df
commit fbbff496c7

View File

@ -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 }