Build without warnings
[satcheck.git] / cgoal.cc
index 95c26ab..6bd216f 100644 (file)
--- a/cgoal.cc
+++ b/cgoal.cc
@@ -31,7 +31,7 @@ void CGoal::print() {
        model_print("goal: ");
        model_print("(");
        for(uint i=0;i<num;i++) {
-               model_print("%lu",valarray[i]);
+               model_print("%llu",valarray[i]);
                if ((i+1)!=num)
                        model_print(", ");
        }