diff --git a/lib/sasacore/sasa.ml b/lib/sasacore/sasa.ml
index 30de69e2f0b03ea1bb0fbe5d6265e35f8ab04d2f..15fab72c9284c7e2dbc5e213a8f5b176da31335b 100644
--- a/lib/sasacore/sasa.ml
+++ b/lib/sasacore/sasa.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 28/03/2019 (at 16:24) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 17:41) by Erwan Jahier> *)
 
 open Algo
 open Sasacore
@@ -81,6 +81,7 @@ let (print_step : int -> int -> SasArg.t -> Env.t -> Process.t list -> string ->
         Printf.printf "%s #outs " activate_val; flush stdout
       );
       Printf.printf "%s %s\n" (StringOf.env_rif e pl) enable_val;
+      flush stderr;
       flush stdout
     )
     else (
@@ -117,13 +118,9 @@ let  (simustep: int -> int -> SasArg.t -> Process.t list -> string ->
     let enable_val =
       String.concat " " (List.map (fun b -> if b then "t" else "f")
                            (List.flatten enab_ll))
-    in
-    if (List.flatten all = []) then (
+    in 
+    if not (args.rif) && List.for_all (fun b -> not b) (List.flatten enab_ll) then (
       print_step n i args e pl activate_val enable_val;
-      if args.rif then (
-        Printf.eprintf  "\n# Sasa is silent; no more processes can be enabled\n";
-        Printf.printf  "\nq\n";
-        flush stderr; flush stdout);
       raise (Silent (n-i+1))
     );
     print_step n i args e pl activate_val enable_val;