From 290cdd7531ba52de739cd87b98ff8a0e70e1a623 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 11 Sep 2023 16:55:44 +0200
Subject: [PATCH] Rename emitters
---
src/kernel_internals/typing/populate_spec.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 2a86d2124c9..838672fc806 100644
--- a/src/kernel_internals/typing/populate_spec.ml
+++ b/src/kernel_internals/typing/populate_spec.ml
@@ -72,11 +72,11 @@ let custom_modes = Hashtbl.create 17
let default = Cil.default_behavior_name
let emitter_populate =
- Emitter.create "PopulateSpec"
+ Emitter.create "Populated spec"
[ Funspec ] ~correctness:[] ~tuning:[]
let emitter_status =
- Emitter.create "PopulateStatus"
+ Emitter.create "Populated status"
[ Property_status ] ~correctness:[] ~tuning:[]
(* Emit [status] on the property [ppt]. *)
--
GitLab