From c022f10edea8eca8c68b010c07d4f72921e484c9 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 30 Nov 2010 08:19:17 -0500 Subject: [PATCH] ass7 typos fixed, thanks Simon Signed-off-by: Jim Pryor --- hints/assignment_7_hint_6.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hints/assignment_7_hint_6.mdwn b/hints/assignment_7_hint_6.mdwn index d69c92e7..77b47926 100644 --- a/hints/assignment_7_hint_6.mdwn +++ b/hints/assignment_7_hint_6.mdwn @@ -39,7 +39,7 @@ let or_op (phi : clause) (psi : clause) = fun one_dpm -> unit_set ( fun (r, h) -> - in let truth_value' = ( + let truth_value' = ( truths (phi one_dpm) (r, h) <> [] || truths (bind_set (negate_op phi one_dpm) psi) (r, h) <> [] ) in (truth_value', r, h)) @@ -47,7 +47,7 @@ let if_op (phi : clause) (psi : clause) : clause = fun one_dpm -> unit_set ( fun (r, h) -> - in let truth_value' = List.for_all (fun one_dpm -> + let truth_value' = List.for_all (fun one_dpm -> let (truth_value, _, _) = one_dpm (r, h) in truth_value = false || truths (psi one_dpm) (r, h) <> [] ) (phi one_dpm) -- 2.11.0