X-Git-Url: http://git.annexia.org/?p=goaljobs.git;a=blobdiff_plain;f=pa_goal.ml;h=20df4fa01a1143fccfec658b7c15a21195773da1;hp=13ea23c81ced03b1de612dca10794531ce4b7908;hb=d4e776a52bc5f7716bf2df38c3432db89844c70f;hpb=389eaef1047e69836f65ce99301d7a2589083581

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