From 72d2ac316c3f0b47cc536d339559089d3a579f1e Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Wed, 22 Feb 2023 14:07:58 +0100
Subject: [PATCH] [Eva] Numerors fix
---
src/plugins/eva/domains/numerors/numerors_domain.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/eva/domains/numerors/numerors_domain.ml b/src/plugins/eva/domains/numerors/numerors_domain.ml
index cd2d0842805..de24c17397d 100644
--- a/src/plugins/eva/domains/numerors/numerors_domain.ml
+++ b/src/plugins/eva/domains/numerors/numerors_domain.ml
@@ -164,6 +164,6 @@ let registered =
}
let () =
- let reduced_product = Main_values.CVal.key, Numerors_value.key, reduce_error in
- register_value_reduction reduced_product;
- register_hook reduce_cast
+ let open Abstractions in
+ Reducer.register Main_values.CVal.key Numerors_Value.key reduce_error ;
+ Hooks.register reduce_cast
--
GitLab