From bdc04dc4c0c7b50f4e4631d949756125cebcf1e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 14 Feb 2022 11:04:57 +0100
Subject: [PATCH] [Eva] Results: simplifies [as_cvalue_model].
---
src/plugins/value/utils/results.ml | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/src/plugins/value/utils/results.ml b/src/plugins/value/utils/results.ml
index af4f8d6c89a..87073125fe0 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 *)
--
GitLab