X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execpoint.cc;h=7b632134b87093f0f3d3f2364005d75b4ce9768d;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hp=d35bd8d09efb70d48ca3491e24ec91256447c591;hpb=4f614d5fb6b6e8060910f3d5db1e6d5e8611cffa;p=satcheck.git

diff --git a/execpoint.cc b/execpoint.cc
index d35bd8d..7b63213 100644
--- a/execpoint.cc
+++ b/execpoint.cc
@@ -130,26 +130,26 @@ bool ExecPointEquals(ExecPoint *e1, ExecPoint * e2) {
 }
 
 void ExecPoint::print(int f) {
-	dprintf(f,"<tid=%u,",tid);
+	model_dprintf(f,"<tid=%u,",tid);
 	for(unsigned int i=0;i<size;i+=2) {
 		switch((ExecPointType)pairarray[i]) {
 		case EP_BRANCH:
-			dprintf(f,"br");
+			model_dprintf(f,"br");
 			break;
 		case EP_COUNTER:
-			dprintf(f,"cnt");
+			model_dprintf(f,"cnt");
 			break;
 		case EP_LOOP:
-			dprintf(f,"lp");
+			model_dprintf(f,"lp");
 			break;
 		default:
 			ASSERT(false);
 		}
-		dprintf(f, "(%u)", pairarray[i+1]);
+		model_dprintf(f, "(%u)", pairarray[i+1]);
 		if ((i+2)<size)
-			dprintf(f, ", ");
+			model_dprintf(f, ", ");
 	}
-	dprintf(f, ">");
+	model_dprintf(f, ">");
 }
 
 void ExecPoint::print() {