From 1c41db69785ed9744b6274cdf30e8470df881257 Mon Sep 17 00:00:00 2001
From: James Meech <43966357+JamesTimothyMeech@users.noreply.github.com>
Date: Fri, 26 Jul 2024 13:53:08 +0100
Subject: [PATCH] Update interactive_investigation.rst

The text starting at line 118 refers to proc twice but it should refer to opt and then to proc.
---
 .../using_yosys/more_scripting/interactive_investigation.rst    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/using_yosys/more_scripting/interactive_investigation.rst b/docs/source/using_yosys/more_scripting/interactive_investigation.rst
index db34f041b..03a1faefa 100644
--- a/docs/source/using_yosys/more_scripting/interactive_investigation.rst
+++ b/docs/source/using_yosys/more_scripting/interactive_investigation.rst
@@ -115,7 +115,7 @@ leads us to the third diagram:
    
    Output of the third :cmd:ref:`show` command in :ref:`example_ys`
    
-Here we see that the :cmd:ref:`proc` command not only has removed the artifacts
+Here we see that the :cmd:ref:`opt` command not only has removed the artifacts
 left behind by :cmd:ref:`proc`, but also determined correctly that it can remove
 the first ``$mux`` cell without changing the behavior of the circuit.