diff --git a/src/plugins/value/api/values_request.ml b/src/plugins/value/api/values_request.ml index a85d9720d60264fb8450f83a879f43216583e4b0..05784f500b0a8bc88de10ea35f289bcaea465d1f 100644 --- a/src/plugins/value/api/values_request.ml +++ b/src/plugins/value/api/values_request.ml @@ -354,7 +354,7 @@ module Proxy(A : Analysis.S) : EvaProxy = struct let dstate ~after stmt = function | None -> (A.get_stmt_state ~after stmt :> dstate) | Some cs -> - match A.get_stmt_state_by_callstack ~after stmt with + match A.get_stmt_state_by_callstack ~selection:[cs] ~after stmt with | (`Top | `Bottom) as res -> res | `Value cmap -> try `Value (CSmap.find cmap cs)