X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment5_answers.mdwn;h=0cdfa6127906806cc805881cbc6e2ae8a913a920;hp=0005ec6eb3a0c75a329d30d6932794405401a758;hb=a13c98f96217650e2404b044ea2d380a0dbc8bb9;hpb=4e747b63cdc33acc9acc95866ed2aa451524a90c

diff --git a/exercises/assignment5_answers.mdwn b/exercises/assignment5_answers.mdwn
index 0005ec6e..0cdfa612 100644
--- a/exercises/assignment5_answers.mdwn
+++ b/exercises/assignment5_answers.mdwn
@@ -437,6 +437,7 @@ Again, we've left some gaps. (The use of `type` for the first line in Haskell an
         type lambda_term = Var of identifier | Abstract of identifier * lambda_term | App of lambda_term * lambda_term
 
 <a id="occurs_free"></a>
+
 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool