diff --git a/lib/sasacore/seed.ml b/lib/sasacore/seed.ml
index ce945185f1e9baee8bfd8ade37b4bac1fb491ce1..e3857114a3ea1a928fc979adc90156b2bfb61458 100644
--- a/lib/sasacore/seed.ml
+++ b/lib/sasacore/seed.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 20/05/2021 (at 09:23) by Erwan Jahier> *)
+(* Time-stamp: <modified the 21/05/2021 (at 17:18) by Erwan Jahier> *)
 
 let seed = ref None
 let replay_seed = ref false      
@@ -11,7 +11,7 @@ let set s =
   seed := Some s
 
 let seed_file_name label =
-  Printf.sprintf "sasa-%s.seed" label 
+  Printf.sprintf "sasa-%s.seed" label
 
 (* for --replay *)
 let reset_the_seed_to_last label =
@@ -28,6 +28,8 @@ let reset_the_seed_to_last label =
     flush stderr;
     false
 
+let reset () = seed := None
+
 let rec (get : string -> int) = 
   fun label ->
   match !seed with
diff --git a/lib/sasacore/seed.mli b/lib/sasacore/seed.mli
index 0609aebf020baa3fe6bc13a3dcf13da6aa3d2693..d69925d783007941f1356a5b38a8ee72629d8921 100644
--- a/lib/sasacore/seed.mli
+++ b/lib/sasacore/seed.mli
@@ -1,6 +1,7 @@
-(* Time-stamp: <modified the 20/05/2021 (at 09:25) by Erwan Jahier> *)
+(* Time-stamp: <modified the 21/05/2021 (at 11:29) by Erwan Jahier> *)
 
 val set : int -> unit 
+val reset : unit -> unit 
 
 (** The string is used to create  a file name to save/restore the seed
    when the --replay option is used *)