Missing "override"s.

[simgrid.git] / src / instr / instr_paje_header.cpp

diff --git a/src/instr/instr_paje_header.cpp b/src/instr/instr_paje_header.cpp
index 6994075d4b11f9f010bf983821b7e248d07c5780..d0b48b18534bfccbe0afaa45143aa9cb8bfa703e 100644 (file)
--- a/src/instr/instr_paje_header.cpp
+++ b/src/instr/instr_paje_header.cpp
@@ -164,6 +164,7 @@ static void TRACE_header_PajePushState (int basic, int size)
   fprintf(tracing_file, "%%       Container string\n");
   fprintf(tracing_file, "%%       Value string\n");
   if (size) fprintf(tracing_file, "%%       Size int\n");
+#if HAVE_SMPI
   if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
     /**
      * paje currently (May 2016) uses "Filename" and "Linenumber" as
@@ -172,6 +173,7 @@ static void TRACE_header_PajePushState (int basic, int size)
     fprintf(tracing_file, "%%       Fname string\n");
     fprintf(tracing_file, "%%       Lnumber int\n");
   }
+#endif
   fprintf(tracing_file, "%%EndEventDef\n");
 }