[herd] Name assertion in Cat file.

herd · Oct 9, 2024 · 010b377 · 010b377
1 parent deb0175
commit 010b377
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/herd/libdir/aarch64hwreqs.cat b/herd/libdir/aarch64hwreqs.cat
@@ -58,7 +58,7 @@ let f-ib =
 
 (* HW TTD Updates permitted only for the AF or DB *)
 let HU = Imp & TTD & W
-assert empty HU \ (AF | DB)
+assert empty HU \ (AF | DB) as HUisAForDB
 
 (* DSB-ordered-before *)
 let DSB-ob =