X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_4.mdwn;h=c6a5995fcc6fcb17943ffe90e555eeb8a6b0c029;hp=cef57737ffedccf80b499a2d5f2bfb3f09364ff2;hb=60fde0202775a36c5b20c370374649d2a90c6af8;hpb=85784b8965db9b0daf0c03f043bc68bd9b41a18c

diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn
index cef57737..c6a5995f 100644
--- a/hints/assignment_7_hint_4.mdwn
+++ b/hints/assignment_7_hint_4.mdwn
@@ -32,7 +32,7 @@
 
 	Well, we already know that \[[x]] will be a kind of computation that takes an assignment function `r` and store `h` as input. It will look up the entity that those two together associate with the variable `x`. So we can treat \[[x]] as an `entity dpm`. We don't worry here about sets of `dpm`s; we'll leave that to our predicates to interface with. We'll just make \[[x]] be a single `entity dpm`. So what we want is:
 
-		let getx = fun (r, h) ->
+		let getx : entity dpm = fun (r, h) ->
 			let obj = List.nth h (r 'x')
 			in (obj, r, h);;