From ef31bbb6c15b7e6af62c0bbadb38db92010524c4 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 7 Jun 2021 13:59:51 +0200
Subject: [PATCH] [Wp] avoid using Stdlib__* names, incompatible with OCaml
4.13
---
src/plugins/wp/cil2cfg.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/cil2cfg.ml b/src/plugins/wp/cil2cfg.ml
index 861d41295e4..97e047cd573 100644
--- a/src/plugins/wp/cil2cfg.ml
+++ b/src/plugins/wp/cil2cfg.ml
@@ -1395,7 +1395,7 @@ struct
type dot = {
name: string;
chan: out_channel;
- fmt : Stdlib__format.formatter;
+ fmt : Format.formatter;
}
let create kf =
--
GitLab