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 07ff40026659337c291c44414b04e1d9249971ba..87662340e2a4658c1bbc8e2de8c5d522b4d988e6 100644 (file)
--- 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)