X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=cgoal.cc;fp=cgoal.cc;h=6bd216fd62eb3f50bea472e52aae2165ed4432db;hp=95c26ab3b1d56e5f1e2d219f246c324ad70d8859;hb=dda2d5d103b32f8505374712936af1daf42ec061;hpb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa

diff --git a/cgoal.cc b/cgoal.cc
index 95c26ab..6bd216f 100644
--- 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(", ");
 	}