Build without warnings

[satcheck.git] / cgoal.cc

diff --git a/cgoal.cc b/cgoal.cc
index 95c26ab3b1d56e5f1e2d219f246c324ad70d8859..6bd216fd62eb3f50bea472e52aae2165ed4432db 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("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(", ");
        }
                if ((i+1)!=num)
                        model_print(", ");
        }