Merge pull request #294 from YosysHQ/george/aigbmc_docs

docs: fix reference to aigbmc engine option
YosysHQ · Sep 9, 2024 · 8bd0719 · 8bd0719
2 parents 67a7821 + 07b9b7c
commit 8bd0719
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/reference.rst b/docs/source/reference.rst
@@ -236,7 +236,7 @@ The following mode/engine/solver combinations are currently supported:
 |           |                          |
 |           | ``abc sim3``             |
 |           |                          |
-|           | ``aiger smtbmc``         |
+|           | ``aiger aigbmc``         |
 +-----------+--------------------------+
 | ``prove`` | ``smtbmc [all solvers]`` |
 |           |                          |