From 87ce3a5788ff89ffb931414ae29a6ca26442f6f5 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Tue, 10 Dec 2024 16:05:11 +0200
Subject: [PATCH] Comment reversal of PartitionDomain.SetSet

---
 src/domain/partitionDomain.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/domain/partitionDomain.ml b/src/domain/partitionDomain.ml
index 316f4fb705..e97946e463 100644
--- a/src/domain/partitionDomain.ml
+++ b/src/domain/partitionDomain.ml
@@ -106,6 +106,9 @@ struct
 
   let show _ = "Partitions"
 
+  (* Top and bottom are reversed:
+     Bottom will be All (equations), i.e. contradiction,
+     Top will be empty set, i.e. no equations. *)
   let top = E.bot
   let bot = E.top
   let is_top = E.is_bot