diff --git a/cat/spirv-nochains.cat b/cat/spirv-nochains.cat
index 89941c8c89..0607eab516 100644
--- 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 *)
 (***********************)