diff --git a/src/plugins/value/domains/printer_domain.ml b/src/plugins/value/domains/printer_domain.ml
index 9bbed31dc02d6b498b8bfa60ae5b0af1424d3392..557af4609e4139a9ac2e13704a2c3b3699a3f8fa 100644
--- a/src/plugins/value/domains/printer_domain.ml
+++ b/src/plugins/value/domains/printer_domain.ml
@@ -34,7 +34,7 @@ module Simple : Simpler_domains.Simple_Cvalue = struct
   (* In this domain, the states contain nothing. We use [unit] as type formal
      the state and we reuse [Datatype.Unit] as a base for our domain. *)
   include Datatype.Unit
-  let name = "printer-domain"
+  let name = "printer"
 
   (* --- Lattice operators --- *)