From 079e093f033e88b8cab9eef9a7ea0d6f9f4f1ee7 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Mon, 23 Oct 2023 17:40:13 +0200 Subject: [PATCH] cause-base -> proxy-preserved-cause-base Signed-off-by: Hernan Ponce de Leon --- cat/ptx-v7.5.cat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cat/ptx-v7.5.cat b/cat/ptx-v7.5.cat index 7443f1d2e9..6d53d3ba66 100644 --- 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 *)