From 86807617c071c81695e78683b25cfd87981421dc Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 9 Jun 2018 14:53:55 +0200
Subject: [PATCH] Field is unused without smpi.

---
 src/instr/instr_paje_events.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp
index 87ed4341cd..db2ff430ea 100644
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -7,6 +7,7 @@
 #define INSTR_PAJE_EVENTS_HPP
 
 #include "src/instr/instr_private.hpp"
+#include "src/internal_config.h"
 #include <sstream>
 #include <string>
 
@@ -66,7 +67,9 @@ public:
 class StateEvent : public PajeEvent {
   EntityValue* value;
   std::string filename = "(null)";
+#if HAVE_SMPI
   int linenumber       = -1;
+#endif
   TIData* extra_;
 
 public:
-- 
2.20.1