From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 13 Jun 2013 10:08:21 +0000 (+0200)
Subject: model-checker : missing #ifdef
X-Git-Tag: v3_9_90~274^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e872999954cf2e237de0f8de77e95b16e7913410

model-checker : missing #ifdef
---

diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 2c0e3a19b0..3be4eb5bec 100644
--- a/src/simix/smx_network.c
+++ b/src/simix/smx_network.c
@@ -199,7 +199,9 @@ smx_action_t SIMIX_fifo_get_comm(xbt_fifo_t fifo, e_smx_comm_type_t type,
       xbt_fifo_remove_item(fifo, item);
       xbt_fifo_free_item(item);
       action->comm.refcount++;
+#ifdef HAVE_MC
       action->comm.rdv_cpy = action->comm.rdv;
+#endif
       action->comm.rdv = NULL;
       return action;
     }