From db823a6acb772de4b06c4cf4b136f0b8dff5a86a Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 27 Feb 2025 16:11:44 +1300
Subject: [PATCH] docs/rosette: Fix inline code

---
 docs/source/yosys_internals/extending_yosys/functional_ir.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/yosys_internals/extending_yosys/functional_ir.rst b/docs/source/yosys_internals/extending_yosys/functional_ir.rst
index 42eabc0b1..c82a2828a 100644
--- a/docs/source/yosys_internals/extending_yosys/functional_ir.rst
+++ b/docs/source/yosys_internals/extending_yosys/functional_ir.rst
@@ -386,7 +386,7 @@ and the ``next_state`` in a single variable.  Iteration over all of the
     	}
 
 For the ``write_initial`` method, the SMT-LIB backend uses ``declare-const`` and
-`assert`\ s which must always hold true.  For Rosette we instead define the
+``assert``\ s which must always hold true.  For Rosette we instead define the
 initial state as any other variable that can be used by external code.  This
 variable, ``[name]_initial``, can then be used in the ``[name]`` function call;
 allowing the Rosette code to be used in the generation of the ``next_state``,