ass8 tweaks

[lambda.git] / assignment8.mdwn

diff --git a/assignment8.mdwn b/assignment8.mdwn
index 0b53578..a1e0140 100644 (file)
--- a/assignment8.mdwn
+++ b/assignment8.mdwn
@@ -25,6 +25,8 @@
                        {tree = Root; filler = t}
                        ;;
 
+        
+
                let make_fringe_enumerator (t: 'a tree) =
                        (* create a zipper targetting the root of t *)
                        let zstart = new_zipper t