From c9785584da449b55e3e0117bf178a58e237f09ef Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 7 Mar 2025 08:39:21 +1300
Subject: [PATCH] docs/rosette: Fix tenses

---
 docs/source/yosys_internals/extending_yosys/functional_ir.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/source/yosys_internals/extending_yosys/functional_ir.rst b/docs/source/yosys_internals/extending_yosys/functional_ir.rst
index 37a7e33e1..4f363623e 100644
--- a/docs/source/yosys_internals/extending_yosys/functional_ir.rst
+++ b/docs/source/yosys_internals/extending_yosys/functional_ir.rst
@@ -229,14 +229,14 @@ semantics/syntax of the language.
 
 The major changes from the SMT-LIB backend are as follows:
 
-- all of the ``Smt`` prefixes in names are replace with ``Smtr`` to mean
+- all of the ``Smt`` prefixes in names are replaced with ``Smtr`` to mean
   ``smtlib_rosette``;
 - syntax is adjusted for Racket;
 - data structures for input/output/state are changed from using
   ``declare-datatype`` with statically typed fields, to using ``struct`` with no
   static typing;
 - the transfer function also loses its static typing;
-- sign/zero extension in Rosette uses the output width instead of the number of
+- sign/zero extension in Rosette use the output width instead of the number of
   extra bits, gaining static typing;
 - the single scope is traded for a global scope with local scope for each
   struct;