X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_3.mdwn;h=9789d4a23f69e2e4e563ca4a369fe30c8947fe23;hp=2e4df05ddd22324618a10444441de5ee4361c82f;hb=72cca371a48d35b0177427b35f23ae8cc704fdf2;hpb=ebed7bf68237f042849d0ebfeed8095a5f7d14a4

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index 2e4df05d..9789d4a2 100644
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -8,9 +8,9 @@
 	As I said, for simplicity, we'll represent sets using lists:
 
 		type 'a set = 'a list;;
-		let empty_set : 'a set = [];;
-		let unit_set (value: 'a) : 'a set = [value];;
-		let bind_set (u: 'a set) (f: 'a -> 'b set) : 'b set =
+		let set_empty : 'a set = [];;
+		let set_unit (value: 'a) : 'a set = [value];;
+		let set_bind (u: 'a set) (f: 'a -> 'b set) : 'b set =
 			List.concat (List.map f u);;