header.c: message d'erreur mal imprime.

pervasives.mli: MAJ doc.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

stdlib/header.c

@@ -19,6 +19,6 @@ int main(argc, argv)
      char ** argv;
 {
   execvp(runtime_name, argv);
-  write(2, errmsg, sizeof(errmsg)-1);
+  write(2, errmsg, strlen(errmsg));
   return 2;
 }

stdlib/pervasives.mli

@@ -212,8 +212,7 @@ external (-.) : float -> float -> float = "%subfloat"
 external ( *. ) : float -> float -> float = "%mulfloat"
         (* Floating-point multiplication *)
 external (/.) : float -> float -> float = "%divfloat"
-        (* Floating-point division. Raise [Division_by_zero] if second
-           argument is null. *)
+        (* Floating-point division. *)
 external ( ** ) : float -> float -> float = "power_float" "pow" "float"
         (* Exponentiation *)
 external exp : float -> float = "exp_float" "exp" "float"