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=a4cfdaa1ccacc0dcf9a374bb202b247b8f28dccb;hpb=012e0c8c3060033b9695b5d545e9d1182a527991

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,