diff --git a/bin/lustre-mt/parser.ml b/bin/lustre-mt/parser.ml index 53ef982a45f4552281d692db1ae1c1c86ebf1d6b..b16937d2d25eff9028000ccedbd764a3716ffcbb 100644 --- a/bin/lustre-mt/parser.ml +++ b/bin/lustre-mt/parser.ml @@ -78,7 +78,7 @@ let (intlist : Yaml.value list -> int list) = let (save_variable_attributes : Types.variable -> (string * Yaml.value) -> unit) = fun v (key, value) -> match key, value with - |"name", `String s -> v.name <- s + |"name", `String s -> v.name <- Str.string_after s 1 |"type", `String s -> v.var_type <- s |_ -> assert false @@ -114,7 +114,6 @@ let (save_data_task : Types.task -> (string * Yaml.value) -> unit) = match (key, value) with | "task", `O l -> List.iter (save_data_one_task task) l |_ -> () -(*faire en sorte de match avec "task", `O pour aller ensuite sur le save_data_task*) let (save_data_tasks : Yaml.value -> unit) = fun x -> let task = {name = ""; var_in = []; var_out = []}::[] in