mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
logic fix
This commit is contained in:
parent
4fe4db6657
commit
0cb8193cdd
|
@ -68,10 +68,10 @@ extern "C" {
|
|||
(' ' == *m) || ('\n' == *m) ||
|
||||
('.' == *m) || ('e' == *m) ||
|
||||
('E' == *m) ||
|
||||
(is_float &&
|
||||
('p' == *m) ||
|
||||
('P' == *m) ||
|
||||
('+' == *m)))) {
|
||||
(is_float &&
|
||||
(('p' == *m) ||
|
||||
('P' == *m) ||
|
||||
('+' == *m))))) {
|
||||
SET_ERROR_CODE(Z3_PARSER_ERROR);
|
||||
return 0;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue