X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=assignment8.mdwn;h=42b22e174f9deb93ef32283bc73206de65d5e108;hb=f482d276a35e6ebadaa03abfccdc8f635f1f0c2f;hp=256b2ce95a021045763f4b378541a7d5b17020dc;hpb=918a89f73e8ac619e2f5337d931b5a2bf710f0d8;p=lambda.git 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 ;;