From c29b11a158554861984cce2d168ea7de31b914be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 14 Jan 2020 17:18:57 +0100
Subject: [PATCH] Adds flush in Transitioning.Stdlib, and replaces
Pervasives.flush in dotgraph.
Avoids a compilation warning with ocaml >= 4.08.
---
src/libraries/stdlib/transitioning.ml.in | 1 +
src/libraries/stdlib/transitioning.mli | 1 +
src/libraries/utils/dotgraph.ml | 2 +-
3 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/libraries/stdlib/transitioning.ml.in b/src/libraries/stdlib/transitioning.ml.in
index cf09ddd667e..f9f3b85e50c 100644
--- a/src/libraries/stdlib/transitioning.ml.in
+++ b/src/libraries/stdlib/transitioning.ml.in
@@ -29,6 +29,7 @@ module Stdlib = struct
let max = max
let min_int = min_int
let max_int = max_int
+ let flush = flush
end
[@@@ warning "-3"]
diff --git a/src/libraries/stdlib/transitioning.mli b/src/libraries/stdlib/transitioning.mli
index 94ae54311a9..6e75b7538ad 100644
--- a/src/libraries/stdlib/transitioning.mli
+++ b/src/libraries/stdlib/transitioning.mli
@@ -42,6 +42,7 @@ module Stdlib: sig
val max: 'a -> 'a -> 'a
val min_int: int
val max_int: int
+ val flush: out_channel -> unit
end
(** 4.08 *)
diff --git a/src/libraries/utils/dotgraph.ml b/src/libraries/utils/dotgraph.ml
index f9939a2eb36..1eea4ded519 100644
--- a/src/libraries/utils/dotgraph.ml
+++ b/src/libraries/utils/dotgraph.ml
@@ -128,7 +128,7 @@ let close dot =
begin
Format.fprintf dot.fmt "}@." ;
dot.fmt <- Format.err_formatter ;
- Pervasives.flush out ; close_out out ;
+ Transitioning.Stdlib.flush out ; close_out out ;
dot.out <- None ;
end
--
GitLab