diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 13:53:05 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 13:53:05 +0200 |
commit | ba837ed3edd22a96e9da74b07a2f42058e9c4f9c (patch) | |
tree | e238607fb02c2520c7712c5c7883a225350173a1 /src/smtlib2 | |
parent | 4d521764d1062a10f108086cc1bde4ba62e16b08 (diff) | |
download | smtcoq-ba837ed3edd22a96e9da74b07a2f42058e9c4f9c.tar.gz smtcoq-ba837ed3edd22a96e9da74b07a2f42058e9c4f9c.zip |
Remove new warning
Diffstat (limited to 'src/smtlib2')
-rw-r--r-- | src/smtlib2/sExprLexer.mll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/smtlib2/sExprLexer.mll b/src/smtlib2/sExprLexer.mll index 1c7983f..95f8bd2 100644 --- a/src/smtlib2/sExprLexer.mll +++ b/src/smtlib2/sExprLexer.mll @@ -49,12 +49,12 @@ else d2 - 48 in val1 * 16 + val2 - let found_newline ({ lex_curr_p; _ } as lexbuf) diff = + let found_newline (lexbuf:Lexing.lexbuf) diff = lexbuf.lex_curr_p <- { - lex_curr_p with - pos_lnum = lex_curr_p.pos_lnum + 1; - pos_bol = lex_curr_p.pos_cnum - diff; + lexbuf.lex_curr_p with + pos_lnum = lexbuf.lex_curr_p.pos_lnum + 1; + pos_bol = lexbuf.lex_curr_p.pos_cnum - diff; } (* same length computation as in [Lexing.lexeme] *) |