diff --git a/convert_env.ml b/convert_env.ml
index 5adbb515f34916e97195b4d2c99ac0bd25803d18..a5251122e5025be1f2aaf71cc856dbfb50552a95 100644
--- a/convert_env.ml
+++ b/convert_env.ml
@@ -160,7 +160,7 @@ let temp_name env s =
 
 let set_loc env loc =
   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