diff --git a/doc/BH_ref_guide/BH_lang.tex b/doc/BH_ref_guide/BH_lang.tex index dc095cc4..9e4d2eb7 100644 --- a/doc/BH_ref_guide/BH_lang.tex +++ b/doc/BH_ref_guide/BH_lang.tex @@ -3055,7 +3055,7 @@ \subsection{{\veri} modules} share a port and it will insert a multiplexer accordingly. Following a port name there can be port a property, -whic is one of the following: +which is one of the following: \begindescrlist{xxxxxxx} \litem{\te{reg}} specifies that the port is directly connected