model-checker : don't need to reset the result of simcal actually, remove unnecessary...

[simgrid.git] / src / xbt / xbt_virtu.c

diff --git a/src/xbt/xbt_virtu.c b/src/xbt/xbt_virtu.c
index e0b9ab6..664d87b 100644 (file)
--- a/src/xbt/xbt_virtu.c
+++ b/src/xbt/xbt_virtu.c
@@ -39,4 +39,3 @@ const char *xbt_procname(void)
 {
   return SIMIX_process_self_get_name();
 }
-