Remove w-locord from nochains version

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Oct 22, 2023 · f978c91 · f978c91
1 parent 71f7289
commit f978c91
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/cat/spirv-nochains.cat b/cat/spirv-nochains.cat
@@ -129,8 +129,6 @@ let locord = loc &
                 (       ([W];        (hb & avvisinc);  avdv; (hb);       visdv; (hb & avvisinc);  [R]))            // RaW (via device domain)
              )
 
-let w-locord = [W]; locord
-
 (***********************)
 (* Memory Model Axioms *)
 (***********************)