From a15e17c02dfce321a886de98fd43b8efe5ca96cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 16 Jul 2012 00:58:40 +0200
Subject: [PATCH] Cleared simulation output

---
 compiler/obc/c/cmain.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/compiler/obc/c/cmain.ml b/compiler/obc/c/cmain.ml
index 4f44717..c746d2b 100644
--- a/compiler/obc/c/cmain.ml
+++ b/compiler/obc/c/cmain.ml
@@ -74,7 +74,7 @@ let assert_node_res cd =
     (fresh ("out_for_" ^ name),
       Cty_id (qn_append cd.cd_name "_out")) in
   let mem, reset_i =
-    if cd.cd_stateful
+    if not cd.cd_stateful
     then ([], [])
     else
       let mem =
@@ -102,9 +102,10 @@ let assert_node_res cd =
             Cif (Cuop ("!", Cfield (Cvar (fst out), local_qn outn)),
                  [Csexpr (Cfun_call ("fprintf",
                                      [Cvar "stderr";
-                                      Cconst (Cstrlit ("Node \\\"" ^ name
-                                                            ^ "\\\" failed at step" ^
-                                                              " %d.\\n"));
+                                      Cconst (Cstrlit ("Node \"" 
+						       ^ (Names.fullname cd.cd_name)
+                                                            ^ "\" failed at step" ^
+                                                              " %d.\n"));
                                       Cvar step_counter]));
                   Creturn (mk_int 1)],
                  []);