diff --git a/lib/sasacore/genOracle.ml b/lib/sasacore/genOracle.ml
index 5444efb8098ed39f4035204d8612777c8a599dd8..56333047e344f329f8095088b86ce54e22970344 100644
--- a/lib/sasacore/genOracle.ml
+++ b/lib/sasacore/genOracle.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 11/05/2022 (at 11:18) by Erwan Jahier> *)
+(* Time-stamp: <modified the 24/05/2022 (at 22:13) by Erwan Jahier> *)
 
 open Process
 
@@ -59,14 +59,15 @@ let (f: Topology.t -> 'v Process.t list -> string) =
       []
       (List.rev pl)
   in
+  let vars_nb = List.length vars in
   let vars_decl = List.map (fun (v,t)-> v^":"^t) vars in
   let input_state = "\n  "^(String.concat ";" vars_decl)  in
   let input_trig = ";\n  "^(String.concat "," al) ^ ":bool" in
   let input_enab = ";\n  "^(String.concat "," enabl) ^ ":bool" in
   let input_decl = input_state^input_enab^input_trig in
   let array_decl =
-    Printf.sprintf "\tActi:bool^an^pn;\n\tEnab:bool^an^pn;\n\tConfig:%s^pn;\n"
-      (fst (List.hd vars))
+    Printf.sprintf "\tActi:bool^an^pn;\n\tEnab:bool^an^pn;\n\tConfig:%s^%d;\n"
+      (fst (List.hd vars)) vars_nb
   in
   let acti_name p a = Printf.sprintf "%s_%s" p.pid (StringOf.action a) in
   let enab_name p a = Printf.sprintf "Enab_%s_%s" p.pid (StringOf.action a) in