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 71ed621..a9c6c05 100644 (file)
--- a/hints/assignment_7_hint_4.mdwn
+++ b/hints/assignment_7_hint_4.mdwn
@@ -95,7 +95,7 @@
                
        which is:
 
-               in fun truth_value ->
+               fun truth_value ->
                        if truth_value
                        then unit_set (
                                fun (r, h) ->
@@ -107,7 +107,7 @@
                
        which is:
 
-               in fun truth_value ->
+               fun truth_value ->
                        if truth_value
                        then unit_set (
                                fun (r, h) ->