From be979583985e61bf0eb733d0feb432382f3cb693 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 3 May 2022 15:47:53 +0200
Subject: [PATCH] [kernel] AST diff: do not update unnecessarily cmp env
---
src/kernel_services/ast_queries/ast_diff.ml | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index 447bc7500cb..3abd04b4dc0 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -1482,7 +1482,6 @@ and logic_info_correspondance ?loc li env =
match find_candidate_logic_info ?loc li env with
| None -> `Not_present
| Some li' ->
- let env = add_logic_vars li.l_profile li'.l_profile env in
let env =
{ env with
logic_info=Cil_datatype.Logic_info.Map.add li li' env.logic_info }
--
GitLab