From 49f3119ab9e317196ae8b7e596f88997a6582508 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 8 Feb 2024 17:32:27 +0100
Subject: [PATCH] [kernel] Update for compatibility with new Current_loc API
---
convert_env.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/convert_env.ml b/convert_env.ml
index 5adbb515..a5251122 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
--
GitLab