diff --git a/amaranth/hdl/_nir.py b/amaranth/hdl/_nir.py index f3c0c0f..0cb48c8 100644 --- a/amaranth/hdl/_nir.py +++ b/amaranth/hdl/_nir.py @@ -849,7 +849,7 @@ class AnyValue(Cell): class AsyncProperty(Cell): - """Corresponds to ``Assert``, ``Assume``, or ``Cover`` in the "comb" domain._ + """Corresponds to ``Assert``, ``Assume``, or ``Cover`` in the "comb" domain. Attributes ---------- @@ -880,7 +880,7 @@ class AsyncProperty(Cell): class SyncProperty(Cell): - """Corresponds to ``Assert``, ``Assume``, or ``Cover`` in the "comb" domain. + """Corresponds to ``Assert``, ``Assume``, or ``Cover`` in domains other than "comb". Attributes ----------