From aaf75cc151adbaf35e233ca715ed6cde8032cef5 Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Thu, 10 Feb 2022 15:02:30 +0100
Subject: [PATCH] Yojson deprecated json type
---
src/tools/zustre/zustre_cex.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/tools/zustre/zustre_cex.ml b/src/tools/zustre/zustre_cex.ml
index 680f7ca0..8778136d 100644
--- a/src/tools/zustre/zustre_cex.ml
+++ b/src/tools/zustre/zustre_cex.ml
@@ -158,7 +158,7 @@ let build_cex machine machines decl_err =
(* (Z3.Statistics.Entry.to_string e) *)
(* ) stats_entries; *)
- let json : Yojson.json =
+ let json : Yojson.t =
`Assoc [
"Results",
`Assoc [
--
GitLab