readme: Fix formatting of a keyword

Single quotes were used instead of backticks leading to
incorrect formatting.

diff --git a/README.md b/README.md
index c02691d94d624ab6f3d1581448e6821be3b38006..424d9bbf2f9cf70dae3fa144a5ed4670a1c57e99 100644 (file)
--- a/README.md
+++ b/README.md
@@ -389,7 +389,7 @@ Verilog Attributes and non-standard features
 Non-standard or SystemVerilog features for formal verification
 ==============================================================
 
-- Support for ``assert``, ``assume``, ``restrict``, and ``cover'' is enabled
+- Support for ``assert``, ``assume``, ``restrict``, and ``cover`` is enabled
   when ``read_verilog`` is called with ``-formal``.
 
 - The system task ``$initstate`` evaluates to 1 in the initial state and