[simix] Remove Synchro::category, nobody's using it

diff --git a/src/simix/Synchro.h b/src/simix/Synchro.h
index 8b3d427..6421d5c 100644 (file)
--- 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;