diff --git a/src/plugins/eva/engine/compute_functions.ml b/src/plugins/eva/engine/compute_functions.ml
index 18e7f1051e14b30815d9f069210a6dafe9527dce..3ec8ff93ca42773bc010a02760e7985745b1eb6c 100644
--- a/src/plugins/eva/engine/compute_functions.ml
+++ b/src/plugins/eva/engine/compute_functions.ml
@@ -240,7 +240,7 @@ module Make (Abstract: Abstractions.S_with_evaluation) = struct
     if pp then
       Self.feedback
         "@[computing for function %a.@\nCalled from %a.@]"
-        Value_types.Callstack.pretty_short (Callstack.to_legacy call.callstack)
+        Callstack.pretty_short call.callstack
         Cil_datatype.Location.pretty (Cil_datatype.Kinstr.loc kinstr);
     let cvalue_state = get_cvalue_or_top state in
     let compute, kind =
diff --git a/src/plugins/eva/gui/gui_callstacks_filters.ml b/src/plugins/eva/gui/gui_callstacks_filters.ml
index e4557f177e6e665a67f56c2afad6fcc126212478..6db98f59adec8814c374956d05680579de2f496a 100644
--- a/src/plugins/eva/gui/gui_callstacks_filters.ml
+++ b/src/plugins/eva/gui/gui_callstacks_filters.ml
@@ -26,7 +26,7 @@ type rcallstack = Value_types.callstack
 
 let empty = []
 
-let from_callstack cs = List.rev (Callstack.to_legacy cs)
+let from_callstack cs = Callstack.to_call_list cs
 
 let callstack_matches_callstack (rcs1:rcallstack) (rcs2:rcallstack) =
   let rec aux q1 q2 = match q1, q2 with