From 3aa6f1c6c7ec6dfca5eb5fb8fde2e7d2178dc921 Mon Sep 17 00:00:00 2001
From: YosysHQ CI <105224853+yosyshq-ci@users.noreply.github.com>
Date: Fri, 26 Jul 2024 13:18:59 +0000
Subject: [PATCH] Update

---
 source/using_yosys/more_scripting/interactive_investigation.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/using_yosys/more_scripting/interactive_investigation.rst b/source/using_yosys/more_scripting/interactive_investigation.rst
index db34f04..03a1fae 100644
--- a/source/using_yosys/more_scripting/interactive_investigation.rst
+++ b/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.