X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=eprecord.cc;h=30ece3bb1d706803e32d4028aa4bac305737ab8a;hp=a87167eacd546be5d87c7c856324b87ce2630bf6;hb=dda2d5d103b32f8505374712936af1daf42ec061;hpb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa

diff --git a/eprecord.cc b/eprecord.cc
index a87167e..30ece3b 100644
--- a/eprecord.cc
+++ b/eprecord.cc
@@ -158,9 +158,9 @@ void EPRecord::print(int f) {
 				CGoal *goal=cit->next();
 				model_dprintf(f,"(");
 				for(uint i=0;i<getNumFuncInputs();i++) {
-					model_dprintf(f,"%lu ", goal->getValue(i+VC_BASEINDEX));
+					model_dprintf(f,"%llu ", goal->getValue(i+VC_BASEINDEX));
 				}
-				model_dprintf(f,"=> %lu)", goal->getOutput());
+				model_dprintf(f,"=> %llu)", goal->getOutput());
 			}
 			delete cit;
 		}
@@ -174,7 +174,7 @@ void EPRecord::print(int f) {
 		model_dprintf(f, "{");
 
 		while(it->hasNext()) {
-			model_dprintf(f, "%lu ", it->next());
+			model_dprintf(f, "%llu ", it->next());
 		}
 		model_dprintf(f, "}");
 		delete it;
@@ -185,7 +185,7 @@ void EPRecord::print(int f) {
 		model_dprintf(f,"{");
 		while(it->hasNext()) {
 			uint64_t v=it->next();
-			model_dprintf(f,"%lu ", v);
+			model_dprintf(f,"%llu ", v);
 		}
 		model_dprintf(f,"}");
 		delete it;