X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=0700b3acb044d0f4ac7929d0fbddde318f169295;hp=2979b69034b38de0d3ac87dfce3ef01a39b1345b;hb=19c17205efa182b80916caa31afeadad9d2dd5b5;hpb=4a1b0ec18b227d6ad82511e2968ea9b0023b4377

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 2979b69..0700b3a 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -821,7 +821,6 @@
           \stopframedtext
         }
 
-      \defref{beta-reduction}
       \subsubsection[sec:normalization:beta]{β-reduction}
         β-reduction is a well known transformation from lambda calculus, where it is
         the main reduction step. It reduces applications of lambda abstractions,