mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 21:01:22 +00:00
Code Activity

fix for github issue #105

Browse source
This commit is contained in:
Ken McMillan 2015-05-22 11:02:26 -07:00
parent 4546c3e7bb
commit e438143abc
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/interp/iz3translate.cpp
View file

@ -966,7 +966,7 @@ public:
get_linear_coefficients(t,coeffs); get_linear_coefficients(t,coeffs);
if(coeffs.size() == 0) if(coeffs.size() == 0)
return make_int("1"); // arbitrary return make_int("1"); // arbitrary
rational d = coeffs[0]; rational d = abs(coeffs[0]);
for(unsigned i = 1; i < coeffs.size(); i++){ for(unsigned i = 1; i < coeffs.size(); i++){
d = gcd(d,coeffs[i]); d = gcd(d,coeffs[i]);
} }