[INSTR] Fix broken build introduced in 592e914799a871f2b3fb043ff4f96dc0cb973562

diff --git a/src/instr/instr_paje_trace.cpp b/src/instr/instr_paje_trace.cpp
index 76575d5..a48ed9e 100644 (file)
--- a/src/instr/instr_paje_trace.cpp
+++ b/src/instr/instr_paje_trace.cpp
@@ -236,7 +236,7 @@ void print_pajePushState(paje_event_t event)
   stream << std::endl;
 
   // TODO: This can be removed as soon as TRACE_paje_start() has been migrated
-  fprintf(tracing_file, stream.str().c_str());
+  fprintf(tracing_file, "%s", stream.str().c_str());
 
    if(((pushState_t)event->data)->extra!=NULL){
      if(((instr_extra_data)((pushState_t)event->data)->extra)->sendcounts!=NULL)