From: Cesar Strauss <cestrauss@gmail.com>
Date: Wed, 5 Oct 2022 22:11:09 +0000 (-0300)
Subject: Fix duplicate line (copy & paste error)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2496d10e28fb9216565aa6b6a79e268e57f49ed6;p=soc.git

Fix duplicate line (copy & paste error)
---

diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py
index 07ff4002..87662340 100644
--- a/src/soc/experiment/formal/proof_compalu_multi.py
+++ b/src/soc/experiment/formal/proof_compalu_multi.py
@@ -115,7 +115,6 @@ class CompALUMultiTestCase(FHDLTestCase):
         m.d.sync += cnt_issue.eq(cnt_issue + do_issue)
         do_read = Signal(dut.n_src)
         m.d.comb += do_read.eq(dut.cu.rd.rel_o & dut.cu.rd.go_i)
-        m.d.sync += cnt_issue.eq(cnt_issue + do_issue)
         cnt_read = []
         for i in range(dut.n_src):
             cnt = Signal(4, name="cnt_read_%d" % i)