From 562a5047096c6ac594e1871f36537976d46d3490 Mon Sep 17 00:00:00 2001 From: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com> Date: Mon, 7 Jul 2025 20:07:25 +1200 Subject: [PATCH] Docs fix --- docs/source/reference.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/reference.rst b/docs/source/reference.rst index 7bc95b3..9fb3278 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -199,7 +199,7 @@ options are: | | | Values: ``on``, ``off``. Default: ``on`` | +-------------------+------------+---------------------------------------------------------+ | ``cover_assert`` | ``cover`` | Check for assertion properties during ``cover`` mode. | -| | | Values: ``on``, ``off``. Default: ``on`` | +| | | Values: ``on``, ``off``. Default: ``off`` | +-------------------+------------+---------------------------------------------------------+ Engines section