back.rtlil: use property name.

amaranth-lang · Feb 12, 2023 · a6f2936 · a6f2936
1 parent 5e5d727
commit a6f2936
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/amaranth/back/rtlil.py b/amaranth/back/rtlil.py
@@ -751,7 +751,7 @@ def on_property(self, stmt):
         self.state.rtlil.cell("$" + stmt._kind, ports={
             "\\A": check_wire,
             "\\EN": en_wire,
-        }, src=_src(stmt.src_loc))
+        }, src=_src(stmt.src_loc), name=stmt.name)
 
     on_Assert = on_property
     on_Assume = on_property