Tipo missing * in Global Clock example

diff --git a/docs/source/verilog.rst b/docs/source/verilog.rst
index f43f71fa2c398e4f01a9cccd800067f79bc59c7e..474514eb5455183f8b80df3ab7685b3f056b2948 100644 (file)
--- a/docs/source/verilog.rst
+++ b/docs/source/verilog.rst
@@ -211,7 +211,7 @@ To use ``(* gclk *)``, define a register with that attribute, as in:
 
 .. code-block:: systemverilog
 
-    (* gclk ) reg formal_timestep;
+    (* gclk *) reg formal_timestep;
 
 You can then reference this ``formal_timestep`` in the clocking section
 of an always block, as in,