--- 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;
}