From d4e776a52bc5f7716bf2df38c3432db89844c70f Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
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
--
GitLab