From: Jim Pryor Date: Mon, 6 Dec 2010 02:05:42 +0000 (-0500) Subject: assignment8 typo, thanks Douwe X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f482d276a35e6ebadaa03abfccdc8f635f1f0c2f assignment8 typo, thanks Douwe Signed-off-by: Jim Pryor --- diff --git a/assignment8.mdwn b/assignment8.mdwn index 256b2ce9..42b22e17 100644 --- a/assignment8.mdwn +++ b/assignment8.mdwn @@ -45,9 +45,9 @@ | Some z' -> Some (move_botleft z') (* return saved label *) in Some current + ) | None -> (* we've finished enumerating the fringe *) None - ) (* return the next_leaf function *) in next_leaf ;;