]> matita.cs.unibo.it Git - helm.git/commitdiff
Typo fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Jan 2004 11:19:26 +0000 (11:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Jan 2004 11:19:26 +0000 (11:19 +0000)
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