Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.
[matthijs/master-project/report.git] / Chapters / Introduction.tex
index 334b1c89d734486f1f960bb92717f767b43c5a8c..af334a3208a87f1611b536fd0e3510277031fa64 100644 (file)
@@ -220,7 +220,7 @@ advanced types and provides a case study.
   In addition to looking at designing a hardware description language, we
   will also implement a prototype to test ideas. This prototype will
   translate hardware descriptions written in the Haskell functional language
-  to simple (netlist-like) hardware descriptions in the \VHDL language. The
+  to simple (netlist-like) hardware descriptions in the \VHDL\ language. The
   reasons for choosing these languages are detailed in section
   \in{}[sec:prototype:input] and \in{}[sec:prototype:output] respectively.