Work around changes in newer versions of glibc

[satcheck.git] / mcexecution.cc

diff --git a/mcexecution.cc b/mcexecution.cc
index 36afe0b81f030112102e0f7a07e2ae1c9e69c09f..9ea8af61aa5cde891a08a9ed4296ae2c4cb49704 100644 (file)
--- 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);
 }