From e5ac33cf4580f8748f6f01c338896df9171fa4c9 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 26 Dec 2012 15:33:20 +0100
Subject: [PATCH] model-checker : don't ignore simcall result in system state
 comparison

---
 src/simix/smx_process.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index fecde40403..434f87a531 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -248,9 +248,6 @@ void SIMIX_process_create(smx_process_t *process,
     (*process)->data = data;
     (*process)->comms = xbt_fifo_new();
     (*process)->simcall.issuer = *process;
-
-    if(MC_is_active())
-      MC_ignore_heap(&((*process)->simcall.result), sizeof((*process)->simcall.result));
     
     /* Process data for auto-restart */
     (*process)->auto_restart = auto_restart;
-- 
2.20.1