From d4e776a52bc5f7716bf2df38c3432db89844c70f Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 8 Oct 2013 18:43:28 +0100 Subject: [PATCH] Fix comment. --- pa_goal.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.8.3.1