assignment7 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/hints/assignment_7_hint_2.mdwn b/hints/assignment_7_hint_2.mdwn
index 07d6a7c..16e66e1 100644 (file)
--- a/hints/assignment_7_hint_2.mdwn
+++ b/hints/assignment_7_hint_2.mdwn
@@ -24,7 +24,7 @@
                let bind_set (u: 'a set) (f: 'a -> 'b set) =
                        List.concat (List.map f u);;
 
-The following will be useful later: persuade yourself that `List.filter (test : 'a -> bool) (u : 'a set) : 'a set` is the same as:
+       The following will be useful later: persuade yourself that `List.filter (test : 'a -> bool) (u : 'a set) : 'a set` is the same as:
 
                bind_set u (fun a -> if test a then unit_set a else empty_set)