Revert accidental change

hernanponcedeleon · Oct 9, 2024 · 111ce90 · 111ce90
1 parent 3a60ebf
commit 111ce90
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/cat/power.cat b/cat/power.cat
@@ -45,7 +45,5 @@ let prop = (W*W & propbase)| (com*;propbase*;sync;hb*)
 acyclic co | prop
 irreflexive fre;prop;hb*
 
-acyclic (prop | hb)
-
 (* Atomic: Basic LDXR/STXR constraint to forbid intervening writes. *)
 empty rmw & (fre; coe) as atomic