diff --git a/lib/sasacore/demon.ml b/lib/sasacore/demon.ml
index 618a8b07ae1fa1f52b623dee50f5aba4f57f695b..fdb52fe0bbcb128b8a28893b8846c652948f1b85 100644
--- a/lib/sasacore/demon.ml
+++ b/lib/sasacore/demon.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 28/03/2019 (at 18:01) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 20:56) by Erwan Jahier> *)
 
 type t =
   | Synchronous (* select all actions *) 
@@ -19,7 +19,7 @@ let (random1: 'a list list -> 'a list) =
 
 let rec (random: 'a list list -> 'a list) =
   fun all ->
-    assert (all <> []);
+    (*     assert (all <> []); *)
     let al = List.map random_list all in
     let al = List.filter (fun _ -> Random.bool ()) al in
     if al = [] then random all else al