[Eva] Removes some uses of legacy callstack.

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 =

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