Build without warnings

[satcheck.git] / change.cc

diff --git a/change.cc b/change.cc
index 86de570d76ab437ba8476a083a3c6f7f77ad4182..55729d93beb5851a83626211447a40f36967877c 100644 (file)
--- 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) {