diff --git a/docs/source/verilog.rst b/docs/source/verilog.rst
index 13f36c4..457ac36 100644
--- a/docs/source/verilog.rst
+++ b/docs/source/verilog.rst
@@ -167,7 +167,7 @@ time, as in
 
 .. code-block:: systemverilog
 
-   (* anyconst ) reg some_value;
+   (* anyconst *) reg some_value;
 
 The ``(* anyconst *)`` attribute will create a solver chosen constant.
 It is often used when verifying memories: the proof allows the solver to