mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

fix #1793

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-08-06 18:13:26 -07:00
parent 84c7df75d6
commit 8b4e1c1209
3 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/mpq.cpp
View file

@ -230,6 +230,10 @@ void mpq_manager<SYNCH>::set(mpq & a, char const * val) {
exp_sign = true;
++str;
}
else if (str[0] == '+') {
exp_sign = false;
++str;
}
while (str[0]) {
if ('0' <= str[0] && str[0] <= '9') {
SASSERT(str[0] - '0' <= 9);