From 479b543e36786db4dc51a8ef6fe7f0d0d0979a9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 10 May 2021 11:18:57 +0200
Subject: [PATCH] [Eva] Renames the log category of the equality domain from
 d-eq to d-equality.

---
 src/plugins/value/domains/equality/equality_domain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/value/domains/equality/equality_domain.ml b/src/plugins/value/domains/equality/equality_domain.ml
index 74925890fdc..98054998966 100644
--- a/src/plugins/value/domains/equality/equality_domain.ml
+++ b/src/plugins/value/domains/equality/equality_domain.ml
@@ -39,7 +39,7 @@ let call_init_state kf =
   | "none" -> ISEmpty
   | _ -> assert false
 
-let dkey = Value_parameters.register_category "d-eq"
+let dkey = Value_parameters.register_category "d-equality"
 
 open Hcexprs
 
-- 
GitLab