diff --git a/src/plugins/aorai/aorai_utils.ml b/src/plugins/aorai/aorai_utils.ml
index 335aca7dba72e9d2b672af0f8a3dfd101c6fe1a6..2d12e7d7442b3faa4573a45eaada61eab184344c 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 =