summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1998-10-01 12:32:46 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1998-10-01 12:32:46 +0000
commit747fffebea60acc1bbf297cc67a62a231eae7034 (patch)
treefdf70e799789edd0919e97bf5317fca616a03844
parent629e5a5de38065a50ac76c64aeae0a3cd32b33a1 (diff)
Typo dans message d'erreur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--driver/compile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml
index 0ca2efca1..e2ec9ddf0 100644
--- a/driver/compile.ml
+++ b/driver/compile.ml
@@ -40,7 +40,7 @@ let initial_env () =
then Env.initial
else Env.open_pers_signature "Pervasives" Env.initial
with Not_found ->
- fatal_error "cannot open Pervasives.cmi"
+ fatal_error "cannot open pervasives.cmi"
(* Optionally preprocess a source file *)