diff --git a/src/plugins/value/domains/equality/equality_domain.ml b/src/plugins/value/domains/equality/equality_domain.ml
index 74925890fdce72eaba7ab228afc9f19b2cfe097f..98054998966e85334d8a95bb76f120318d51ee2d 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