X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment5.mdwn;h=5dd1cbb24a6f8982e29b464a4d6a262d7b6675ae;hp=dabc1a03e77d6a3068ed8b64c99c76d49d344110;hb=442a8534983a824eec968ce2bb113fe60e0b1007;hpb=878a43a26bd41b5d2b228b9ea8ce5dfd3095dcba;ds=sidebyside

diff --git a/exercises/assignment5.mdwn b/exercises/assignment5.mdwn
index dabc1a03..5dd1cbb2 100644
--- a/exercises/assignment5.mdwn
+++ b/exercises/assignment5.mdwn
@@ -253,6 +253,7 @@ Again, we've left some gaps. (The use of `type` for the first line in Haskell an
 15. Choose one of these languages and fill in the gaps to complete the definition.
 
 <a id="occurs_free"></a>
+
 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool