]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/getter.ml
Typo fixed.
[helm.git] / helm / ocaml / getter / getter.ml
index c1ba01016842009b23c6671ea9be62fa4f678784..e53d0a3b4a75cfbc0b5cec15da275cb4d30daca8 100644 (file)
@@ -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