assignment7 tweaks

[lambda.git] / hints / assignment_7_hint_3.mdwn

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index bbdea69..0914b79 100644 (file)
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -40,7 +40,8 @@ It will be useful to have a shorthand way of referring to this operation:
                                (* next we assign 'x' to location newindex *)
                                in let r' = fun v ->
                                        if v = var_to_bind then newindex else r v
-                               in (r',h')
+                               (* the reason for returning true as an initial element will emerge later *)
+                               in (true, r',h')
 
 *      Is that enough? If not, here are some [more hints](/hints/assignment_7_hint_4).