From: Richard W.M. Jones Date: Tue, 8 Oct 2013 17:43:28 +0000 (+0100) Subject: Fix comment. X-Git-Tag: 0.2~6 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=d4e776a52bc5f7716bf2df38c3432db89844c70f;p=goaljobs.git Fix comment. --- diff --git a/pa_goal.ml b/pa_goal.ml index 13ea23c..20df4fa 100644 --- a/pa_goal.ml +++ b/pa_goal.ml @@ -168,7 +168,7 @@ let generate_let_goal _loc (r : rec_flag) (lets : binding) = * 'expr' is a function call. *) let generate_require _loc expr = - (* Note that 'f a b c' is parsed as '((f a) b) c' so the actually + (* Note that 'f a b c' is parsed as '((f a) b) c' so the actual * function name is buried deeply in the tree. Rewrite the name. *) let rec rewrite = function