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 e4f0a79..568a9cc 100644 (file)
--- a/hints/assignment_7_hint_4.mdwn
+++ b/hints/assignment_7_hint_4.mdwn
@@ -99,10 +99,10 @@
 
        which is:
 
-               fun truth_value ->
+               let eliminate_non_Qxs = fun truth_value ->
                        if truth_value
                        then unit_set (
-                               let eliminate_non_Qxs = fun (r, h) ->
+                               fun (r, h) ->
                                        let obj = List.nth h (r 'x')
                                        let (a, r', h') = (obj, r, h)
                                        in let u' = (fun e -> unit_dpm (Q e)) a