From 6838a4c60ba2e288aec857c4b60e225276686b91 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 31 May 2016 11:10:01 +0200
Subject: [PATCH] [simix] Remove Synchro::category, nobody's using it

---
 src/simix/Synchro.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/simix/Synchro.h b/src/simix/Synchro.h
index 8b3d427bb8..6421d5c28c 100644
--- a/src/simix/Synchro.h
+++ b/src/simix/Synchro.h
@@ -26,7 +26,6 @@ namespace simix {
     e_smx_state_t state = SIMIX_WAITING; /* State of the synchro */
     std::string name;                  /* synchro name if any */
     std::list<smx_simcall_t> simcalls; /* List of simcalls waiting for this synchro */
-    char *category;                    /* For instrumentation */
 
     virtual void suspend()=0;
     virtual void resume()=0;
-- 
2.20.1