X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=hints%2Fassignment_7_hint_6.mdwn;h=0859706b47b47beb5360ec6f9acdef0799aa6130;hb=85784b8965db9b0daf0c03f043bc68bd9b41a18c;hp=ed3828b7e83fb5059212f02f145dd932697ac3ea;hpb=f212354152a53c6a3ab018c7874570c600f463b9;p=lambda.git

diff --git a/hints/assignment_7_hint_6.mdwn b/hints/assignment_7_hint_6.mdwn
index ed3828b7..0859706b 100644
--- a/hints/assignment_7_hint_6.mdwn
+++ b/hints/assignment_7_hint_6.mdwn
@@ -116,10 +116,10 @@
 		let antecedent = fun one_dpm -> exists 'x' one_dpm >>= lift_predicate male getx >>= exists 'y' >>= lift_predicate2 wife_of getx gety;;
 		
 		(* "if a man x has a wife y, x kisses y" *)
-		run (initial_set >>= if_op antecedent lift_predicate2 kisses getx gety);;
+		run (initial_set >>= if_op antecedent (lift_predicate2 kisses getx gety));;
 		(* Bob has wife Carol, and kisses her; and Ted has wife Alice and kisses her; so this is true! *)
 
 		(* "if a man x has a wife y, x misses y" *)
-		run (initial_set >>= if_op antecedent lift_predicate2 misses getx gety);;
+		run (initial_set >>= if_op antecedent (lift_predicate2 misses getx gety));;
 		(* Bob has wife Carol, and misses her; but Ted misses only Carol, not his wife Alice; so this is false! *)