Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[INSTR] Fix broken build introduced in 592e914799a871f2b3fb043ff4f96dc0cb973562
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Wed, 23 Mar 2016 19:37:57 +0000 (20:37 +0100)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Wed, 23 Mar 2016 19:37:57 +0000 (20:37 +0100)
src/instr/instr_paje_trace.cpp

index 76575d5..a48ed9e 100644 (file)
@@ -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
   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)
 
    if(((pushState_t)event->data)->extra!=NULL){
      if(((instr_extra_data)((pushState_t)event->data)->extra)->sendcounts!=NULL)