Skip to content
Snippets Groups Projects
Commit 49f3119a authored by Thibault Martin's avatar Thibault Martin Committed by Virgile Prevosto
Browse files

[kernel] Update for compatibility with new Current_loc API

parent acfb70a1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
convert_env.ml
+ 1
− 1
View file @ 49f3119a
...@@ -160,7 +160,7 @@ let temp_name env s = ...@@ -160,7 +160,7 @@ let temp_name env s =
let set_loc env loc = let set_loc env loc =
let loc = Cil_datatype.Location.of_lexing_loc loc in let loc = Cil_datatype.Location.of_lexing_loc loc in
Cil.CurrentLoc.set loc; { env with location = loc } Current_loc.set loc; { env with location = loc }
let get_loc env = env.location let get_loc env = env.location
......
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