build(deps): bump third_party/yosys from `cee3cb3` to `4251d37` (#2159)

Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `cee3cb3` to `4251d37`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](cee3cb31b9...4251d37f4f)

---
updated-dependencies:
- dependency-name: third_party/yosys
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2023-05-06 19:25:30 +00:00 committed by Hans Baier
parent 820a753e11
commit 993d7dee90
1 changed files with 1 additions and 1 deletions

2
third_party/yosys vendored

@ -1 +1 @@
Subproject commit cee3cb31b98e3b67af3165969c8cfc0616c37e19
Subproject commit 4251d37f4fc66108ead53af677739563de4ee7f8