From ab5ee84397bf0878d6fba3ab2f6f5976e06ef2d8 Mon Sep 17 00:00:00 2001
From: Jeff Bolz <jbolz@nvidia.com>
Date: Mon, 11 Mar 2019 03:18:24 -0500
Subject: [PATCH] Memory model: Remove (unnecessary) scoped modification order
 case from location-ordered definition (#924)

---
 appendices/memorymodel.txt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/appendices/memorymodel.txt b/appendices/memorymodel.txt
index c17549d5..9b4f8f4e 100644
--- a/appendices/memorymodel.txt
+++ b/appendices/memorymodel.txt
@@ -719,8 +719,6 @@ the following is true:
   * A~X~ == A~Y~ and R~X~ == R~Y~ and X->Y
   ** NOTE: this case means no availability/visibility ops required when it's
      the same (agent,reference).
-  * X and Y are mutually-ordered atomics, and X is before Y in X's scoped
-    modification order
 
   * X is a read, both X and Y are non-private, and X->Y
   * X is a read, and X (transitively) system-synchronizes with Y