Commit e847477b authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:archi] fix warning error

parent 70fc7535
...@@ -61,7 +61,7 @@ let rec inject_in_init env kf_opt vi off = function ...@@ -61,7 +61,7 @@ let rec inject_in_init env kf_opt vi off = function
SingleInit e, env SingleInit e, env
| CompoundInit(_, []) as init -> | CompoundInit(_, []) as init ->
init, env init, env
| CompoundInit(typ, l) as init -> | CompoundInit(typ, l) ->
let l, env = let l, env =
List.fold_left List.fold_left
(fun (l, env) (off, i) -> (fun (l, env) (off, i) ->
...@@ -113,7 +113,7 @@ let inject_in_local_init loc env kf vi = function ...@@ -113,7 +113,7 @@ let inject_in_local_init loc env kf vi = function
let init, env = inject_in_init env (Some kf) vi NoOffset init in let init, env = inject_in_init env (Some kf) vi NoOffset init in
AssignInit init, env AssignInit init, env
| ConsInit(vi, l, ck) as init -> | ConsInit(vi, l, ck) ->
let l, env = let l, env =
List.fold_left List.fold_left
(fun (l, env) e -> (fun (l, env) e ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment