cause-base -> proxy-preserved-cause-base

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Oct 23, 2023 · 079e093 · 079e093
1 parent ab9b6a2
commit 079e093
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cat/ptx-v7.5.cat b/cat/ptx-v7.5.cat
@@ -81,7 +81,7 @@ let proxy-preserved-cause-base
                 | loc & (cause-base & (proxy-fence-ops^-1); cause-base; [F & ALIAS]; cause-base; [GEN])
                 | loc & ([GEN]; cause-base; [F & ALIAS]; cause-base; cause-base & proxy-fence-ops)
                 | loc & (cause-base & (proxy-fence-ops^-1); cause-base; [F & ALIAS]; cause-base; cause-base & proxy-fence-ops)
-let cause = cause-base | (observation?; proxy-preserved-cause-base)
+let cause = proxy-preserved-cause-base | (observation?; proxy-preserved-cause-base)
 
 (******************************)
 (*  PTX Memory Model Axioms   *)