12 lines
325 B
Diff
12 lines
325 B
Diff
--- ppl/ppl_user.cc.orig 2009-12-22 06:33:18.000000000 -0700
|
|
+++ ppl/ppl_user.cc 2013-02-14 09:26:53.821600343 -0700
|
|
@@ -320,7 +320,7 @@
|
|
exact = false;
|
|
}
|
|
/* singleton */
|
|
- else r.insert(Constraint(Variable(i)==temp));
|
|
+ else r.insert(Constraint(Variable(i)==mpz_class(temp)));
|
|
}
|
|
return exact;
|
|
}
|