X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_3.mdwn;fp=hints%2Fassignment_7_hint_3.mdwn;h=bfac14e349c5b19b3cc7e54c54ec26d23c5d3242;hp=ad6d7ea8dbba3416afe15f6b7bffb0661cbacfae;hb=56875febe11ea5c63e753b64c546a7a45f28e343;hpb=be5eb752358a5067486efb6d515411551025f1e1

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index ad6d7ea8..bfac14e3 100644
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -33,8 +33,8 @@
 It will be useful to have a shorthand way of referring to this operation:
 
 		let new_peg_and_assign (var_to_bind : char) (d : entity) =
-			(* we want to return not a function that we can bind to a bool dpm *)
-			fun (truth_value : bool) : bool dpm ->
+			(* we want to return a function that we can bind to a bool dpm *)
+			fun (truth_value : bool) ->
 				fun ((r, h) : assignment * store) ->
 					(* first we calculate an unused index *)
 					let new_index = List.length h