diff --git a/lib/sasacore/sasa.ml b/lib/sasacore/sasa.ml
index 29bcb9ffc29172523a8e036bd05e7b4b45cc5398..30de69e2f0b03ea1bb0fbe5d6265e35f8ab04d2f 100644
--- a/lib/sasacore/sasa.ml
+++ b/lib/sasacore/sasa.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 27/03/2019 (at 17:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 16:24) by Erwan Jahier> *)
 
 open Algo
 open Sasacore
@@ -119,7 +119,11 @@ let  (simustep: int -> int -> SasArg.t -> Process.t list -> string ->
                            (List.flatten enab_ll))
     in
     if (List.flatten all = []) then (
-      print_step n i args e pl activate_val enable_val; 
+      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;