mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
bugfix for FPA numerals
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
880cbb936e
commit
0ab54b9e0c
|
@ -68,8 +68,8 @@ extern "C" {
|
|||
(' ' == *m) || ('\n' == *m) ||
|
||||
('.' == *m) || ('e' == *m) ||
|
||||
('E' == *m) ||
|
||||
(('p' == *m) && is_float) ||
|
||||
(('P' == *m)) && is_float)) {
|
||||
('p' == *m && is_float) ||
|
||||
('P' == *m && is_float))) {
|
||||
SET_ERROR_CODE(Z3_PARSER_ERROR);
|
||||
return 0;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue