Merge pull request #1463 from goblint/basedomain-priv-top

Fix `BaseDomain` top `priv` typo
goblint · May 15, 2024 · 3eef2b6 · 3eef2b6
2 parents 6783a4d + 702e094
commit 3eef2b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/baseDomain.ml b/src/cdomains/baseDomain.ml
@@ -92,7 +92,7 @@ struct
 
   let bot () = { cpa = CPA.bot (); deps = PartDeps.bot (); weak = WeakUpdates.bot (); priv = PrivD.bot ()}
   let is_bot {cpa; deps; weak; priv} = CPA.is_bot cpa && PartDeps.is_bot deps && WeakUpdates.is_bot weak && PrivD.is_bot priv
-  let top () = {cpa = CPA.top (); deps = PartDeps.top ();  weak = WeakUpdates.top () ; priv = PrivD.bot ()}
+  let top () = {cpa = CPA.top (); deps = PartDeps.top ();  weak = WeakUpdates.top () ; priv = PrivD.top ()}
   let is_top {cpa; deps; weak; priv} = CPA.is_top cpa && PartDeps.is_top deps && WeakUpdates.is_top weak && PrivD.is_top priv
 
   let leq {cpa=x1; deps=x2; weak=x3; priv=x4 } {cpa=y1; deps=y2; weak=y3; priv=y4} =