diff --git a/src/plugins/value/utils/results.ml b/src/plugins/value/utils/results.ml
index af4f8d6c89a1e9ca5f644be4ccb0dc7403473805..87073125fe0b090c07339f1762bc5a4c5afb5c7d 100644
--- a/src/plugins/value/utils/results.ml
+++ b/src/plugins/value/utils/results.ml
@@ -308,14 +308,11 @@ struct
       convert r
 
   let as_cvalue_model req =
-    match A.Dom.get Cvalue_domain.State.key with
+    match A.Dom.get_cvalue with
     | None ->
       Result.error DisabledDomain
     | Some extract ->
-      let extract' state =
-        fst (extract state)
-      in
-      convert (Response.map_join extract' Cvalue.Model.join (get req))
+      convert (Response.map_join extract Cvalue.Model.join (get req))
 
   (* Evaluation *)