From a78bbd4591c0a0a9f4470504218392e8d527de2c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 10 May 2021 10:12:54 +0200
Subject: [PATCH] [Eva] Fixes the printer domain name.
---
src/plugins/value/domains/printer_domain.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/domains/printer_domain.ml b/src/plugins/value/domains/printer_domain.ml
index 9bbed31dc02..557af4609e4 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 --- *)
--
GitLab