Fix comment about YamlEntryGlobal

goblint · Jun 5, 2024 · 36ff621 · 36ff621
1 parent e7931ff
commit 36ff621
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml
@@ -364,7 +364,7 @@ struct
         entries
     in
 
-    (* Generate flow-insensitive invariants *)
+    (* Generate flow-insensitive entries (ghost variables and ghost updates) *)
     let entries =
       if true then (
         GHT.fold (fun g v acc ->