From f5ee0222f8fe5d7b91e1e4c813350d2bd6005940 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Fri, 19 Nov 2010 08:08:34 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_4.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn index 71ed621b..a9c6c05b 100644 --- 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) -> -- 2.11.0