From c0435583509787da28e7d312edbf16fc7f912c92 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 18 Jun 2018 15:12:57 +0200 Subject: [PATCH] Disable unused field without smpi. --- src/instr/instr_paje_events.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp index db2ff430ea..27ce68dc01 100644 --- a/src/instr/instr_paje_events.hpp +++ b/src/instr/instr_paje_events.hpp @@ -66,8 +66,8 @@ public: class StateEvent : public PajeEvent { EntityValue* value; - std::string filename = "(null)"; #if HAVE_SMPI + std::string filename = "(null)"; int linenumber = -1; #endif TIData* extra_; -- 2.20.1