From f482d276a35e6ebadaa03abfccdc8f635f1f0c2f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 5 Dec 2010 21:05:42 -0500 Subject: [PATCH] assignment8 typo, thanks Douwe Signed-off-by: Jim Pryor --- assignment8.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;; -- 2.11.0