From 1ad04632ef842a0591d1387d7709afc82f6ed3bd Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Fri, 19 Nov 2010 08:07:53 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn index 278ca812..71ed621b 100644 --- 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') -- 2.11.0