From 22ae32a5316b1d326bd9ff3bd9f422ca729e94ff Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 17 Nov 2022 16:40:28 +0000
Subject: [PATCH] rename variable
---
src/plugins/aorai/aorai_utils.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/aorai/aorai_utils.ml b/src/plugins/aorai/aorai_utils.ml
index 335aca7dba7..2d12e7d7442 100644
--- a/src/plugins/aorai/aorai_utils.ml
+++ b/src/plugins/aorai/aorai_utils.ml
@@ -1198,7 +1198,7 @@ let automaton_locations loc =
FromAny) ::
auto_state
-let extract_lval acc lv =
+let extract_lval acc term =
let acc = ref acc in
let vis =
object
@@ -1208,7 +1208,7 @@ let extract_lval acc lv =
DoChildren
end
in
- ignore (Visitor.visitFramacTerm vis lv);
+ ignore (Visitor.visitFramacTerm vis term);
!acc
let add_lval cond kf st acc =
--
GitLab