X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=mcexecution.cc;h=9ea8af61aa5cde891a08a9ed4296ae2c4cb49704;hp=36afe0b81f030112102e0f7a07e2ae1c9e69c09f;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hpb=4f614d5fb6b6e8060910f3d5db1e6d5e8611cffa

diff --git a/mcexecution.cc b/mcexecution.cc
index 36afe0b..9ea8af6 100644
--- a/mcexecution.cc
+++ b/mcexecution.cc
@@ -111,21 +111,21 @@ void MCExecution::dumpExecution() {
 	sprintf(buffer, "exec%u.dot",schedule_graph);
 	schedule_graph++;
 	int file=open(buffer,O_WRONLY|O_TRUNC|O_CREAT, S_IRWXU);
-	dprintf(file, "digraph execution {\n");
+	model_dprintf(file, "digraph execution {\n");
 	EPRecord *last=NULL;
 	for(uint i=0;i<EPList->size();i++) {
 		EPValue *epv=(*EPList)[i];
 		if (epv==NULL)
 			continue;
 		EPRecord *record=epv->getRecord();
-		dprintf(file, "%lu[label=\"",(uintptr_t)record);
+		model_dprintf(file, "%lu[label=\"",(uintptr_t)record);
 		record->print(file);
-		dprintf(file, "\"];\n");
+		model_dprintf(file, "\"];\n");
 		if (last!=NULL)
-			dprintf(file, "%lu->%lu;", (uintptr_t) last, (uintptr_t) record);
+			model_dprintf(file, "%lu->%lu;", (uintptr_t) last, (uintptr_t) record);
 		last=record;
 	}
-	dprintf(file, "}\n");
+	model_dprintf(file, "}\n");
 	close(file);
 }