X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;h=7b561995b10c34be5026ca59d44f70a05eb2e8a1;hp=9c148a56c37ae1015757735a9da40d45c1f31062;hb=7d47b9a2f541f9e16a70599f8b76bd14bd862d20;hpb=747c2ba3d485fb5c3543e9435fbd3dff59ddb3f8

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index 9c148a5..7b56199 100644
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -341,9 +341,9 @@ and3 a b c = and (and a b) c
 
         Here, a type synonym \hs{RegisterIndex} is defined that is equal to
         the \hs{RangedWord} type constructor applied to the type \hs{D7}. In
-        other words, this defines an unsigned word with values from 0 to 7
-        (inclusive). This word can be be used to index the 8 element vector
-        \hs{RegisterState} above.
+        other words, this defines an unsigned word with values from
+        {\definedfont[Serif*normalnum]0 to 7} (inclusive). This word can be be used to index the
+        8 element vector \hs{RegisterState} above.
 
         This type is translated to the \type{unsigned} \small{VHDL} type.
       \stopdesc