assignment7 tweaks

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

diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn
index 278ca81..71ed621 100644 (file)
--- a/hints/assignment_7_hint_4.mdwn
+++ b/hints/assignment_7_hint_4.mdwn
@@ -79,7 +79,7 @@
                        then unit_set (bind_dpm getx (fun e -> unit_dpm (Q e)))
                        else empty_set
 
-       which is:
+       unpacking the definition of `bind_dpm`, that is:
 
                let getx = fun (r, h) ->
                        let obj = List.nth h (r 'x')