diff --git a/bin/sasArg.ml b/bin/sasArg.ml
index 7856b85fdd0d9f66b7b369650e858f4959914f3b..39e82b7672e095bc289dbb29962e92344880c1ec 100644
--- a/bin/sasArg.ml
+++ b/bin/sasArg.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 09/03/2019 (at 14:37) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/03/2019 (at 14:03) by Erwan Jahier> *)
 
 
 type t = {
@@ -86,19 +86,19 @@ let (mkoptab : t -> unit) =
       ["Use a Synchronous deamon"];
 
     mkopt opt  ["--central-demon";"-cd"]
-      (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+      (Arg.Unit(fun () -> args.demon <- Demon.Central))
       ["Use a Central deamon (selects exactly one action)"];
     
     mkopt opt  ["--locally-central-demon";"-lcd"]
-      (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+      (Arg.Unit(fun () -> args.demon <- Demon.LocallyCentral))
       ["Use a Locally Central deamon (never activates two neighbor";
        "actions in the same step)"];
     mkopt opt  ["--distributed-demon";"-dd"]
-      (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+      (Arg.Unit(fun () -> args.demon <- Demon.Distributed))
       ["Use a Distributed deamon (select at least one action)"];
     
     mkopt opt  ["--custom-demon";"-custd"]
-      (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+      (Arg.Unit(fun () -> args.demon <- Demon.Custom))
       ["Use a Custom deamon"];
 
    mkopt opt  ["--rif";"-rif"]