diff options
Diffstat (limited to 'cad/yosys/files/patch-backends_smt2_smtio.py')
| -rw-r--r-- | cad/yosys/files/patch-backends_smt2_smtio.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cad/yosys/files/patch-backends_smt2_smtio.py b/cad/yosys/files/patch-backends_smt2_smtio.py index a39fc9c4fc91..81c3557845d1 100644 --- a/cad/yosys/files/patch-backends_smt2_smtio.py +++ b/cad/yosys/files/patch-backends_smt2_smtio.py @@ -1,6 +1,6 @@ ---- backends/smt2/smtio.py.orig 2023-01-04 19:51:15 UTC +--- backends/smt2/smtio.py.orig 2025-09-21 17:50:33 UTC +++ backends/smt2/smtio.py -@@ -182,9 +182,9 @@ class SmtIo: +@@ -199,9 +199,9 @@ class SmtIo: self.noincr = True if self.noincr: |