From a4cfdaa1ccacc0dcf9a374bb202b247b8f28dccb Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Sat, 5 Dec 2009 22:03:25 +0100
Subject: [PATCH 1/1] Remove unused defref.

---
 Chapters/Normalization.tex | 1 -
 1 file changed, 1 deletion(-)

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,
-- 
2.30.2