summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-02-20 10:18:55 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-02-20 10:18:55 +0000
commit16085ba4374cf3ef0fc8b30ecba560dc101262a3 (patch)
tree7f17db5f3f966613ca9b099428f7c023ca1323a4
parent217f88b19a7496856529d90cb27140df05333109 (diff)
Suppression definition inutile de fflush
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/pervasives.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml
index b572efeba..58408aace 100644
--- a/stdlib/pervasives.ml
+++ b/stdlib/pervasives.ml
@@ -213,7 +213,6 @@ let open_out name =
let open_out_bin name =
open_out_gen [Open_wronly; Open_creat; Open_trunc; Open_binary] 0o666 name
-external fflush : out_channel -> unit = "caml_flush"
external flush : out_channel -> unit = "caml_flush"
external unsafe_output : out_channel -> string -> int -> int -> unit