X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=e2f3a968dec9a656c8970f2439375e6ec7868302;hp=0f6d0eb23ecdff6c32920ee5b4ea20b6ee67ec68;hb=feee31da167a3c0505d2683d3e81e2597743f1a6;hpb=787eb0c9be548cf6e012647e2ef12eee2a734682

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 0f6d0eb..e2f3a96 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -958,12 +958,12 @@
 
         \startbuffer[from]
         (+) :: Word -> Word -> Word
-        (+) = GHC.Num.(+) @Word $dNum
+        (+) = GHC.Num.(+) @Word \$dNum
         ~
         (+) a b
         \stopbuffer
         \startbuffer[to]
-        GHC.Num.(+) @ Alu.Word $dNum a b
+        GHC.Num.(+) @ Alu.Word \$dNum a b
         \stopbuffer
 
         \transexample{toplevelinline}{Top level binding inlining}{from}{to}