From add7d700507979e1539d0a51a3574e0a0d40a91d Mon Sep 17 00:00:00 2001 From: Catherine Date: Tue, 12 Mar 2024 15:51:59 +0000 Subject: [PATCH] docs/guide: fix incorrect reference. --- docs/guide.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/guide.rst b/docs/guide.rst index d42972b..39c7d60 100644 --- a/docs/guide.rst +++ b/docs/guide.rst @@ -938,7 +938,7 @@ Every signal included in the target of an assignment becomes a part of the domai The answer is no. While this kind of code is occasionally useful, rejecting it greatly simplifies backends, simulators, and analyzers. -In addition to assignments, :ref:`assertions, assumptions `, and :ref:`debug prints ` can be added using the same syntax. +In addition to assignments, :ref:`assertions ` and :ref:`debug prints ` can be added using the same syntax. .. _lang-assignorder: