diff --git a/src/plugins/aorai/aorai_eva_analysis.enabled.ml b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
index 8b007c55b15b021ba234a5d76899eb55587c0967..f95b747b5e7e9ce175417d44afa1832b6d2f3f62 100644
--- a/src/plugins/aorai/aorai_eva_analysis.enabled.ml
+++ b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
@@ -25,7 +25,7 @@
 
 let show_aorai_variable state fmt var_name =
   let vi = Data_for_aorai.(get_varinfo var_name) in
-  let cvalue = !Db.Value.eval_expr state (Cil.evar vi) in
+  let cvalue = Cvalue.Model.find state (Locations.loc_of_varinfo vi) in
   try
     let i = Ival.project_int (Cvalue.V.project_ival cvalue) in
     let state_name = Data_for_aorai.getStateName (Integer.to_int_exn i) in