X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=change.cc;h=55729d93beb5851a83626211447a40f36967877c;hp=86de570d76ab437ba8476a083a3c6f7f77ad4182;hb=dda2d5d103b32f8505374712936af1daf42ec061;hpb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa

diff --git a/change.cc b/change.cc
index 86de570..55729d9 100644
--- a/change.cc
+++ b/change.cc
@@ -23,7 +23,7 @@ MCChange::~MCChange() {
 void MCChange::print() {
 	record->print();
 	model_print("(");
-	model_print("index=%u, val=%lu)\n", index, val);
+	model_print("index=%u, val=%llu)\n", index, val);
 }
 
 bool MCChangeEquals(MCChange *mcc1, MCChange *mcc2) {