X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fgetter.ml;h=e53d0a3b4a75cfbc0b5cec15da275cb4d30daca8;hb=b6118150362700ed8f44b82cf6164d1c52c6d48f;hp=c1ba01016842009b23c6671ea9be62fa4f678784;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/ocaml/getter/getter.ml b/helm/ocaml/getter/getter.ml
index c1ba01016..e53d0a3b4 100644
--- a/helm/ocaml/getter/getter.ml
+++ b/helm/ocaml/getter/getter.ml
@@ -66,7 +66,7 @@ exception Unresolved;;
 exception UnexpectedGetterOutput;;
 
 (* resolve_result is needed because it is not possible to raise *)
-(* an exception in a pxp even-processing callback. Too bad.     *)
+(* an exception in a pxp ever-processing callback. Too bad.     *)
 type resolve_result =
    Unknown
  | Exception of exn