From 0459f019739fad51a2c4e932aff62d6c1c451a5e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 28 May 2024 09:55:21 +0200
Subject: [PATCH] [Eva] Disables an ocaml warning in abstractions.ml.
---
src/plugins/eva/engine/abstractions.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/engine/abstractions.ml b/src/plugins/eva/engine/abstractions.ml
index a2dd68cb5b0..3e02c2c85e6 100644
--- a/src/plugins/eva/engine/abstractions.ml
+++ b/src/plugins/eva/engine/abstractions.ml
@@ -599,7 +599,7 @@ module Domain = struct
| Unit _ -> Self.fatal "The built domain cannot be unit."
| State structured -> structured
- module type Typ = sig type t end
+ module type Typ = sig type t [@@warning "-34"] end
type 't typ = (module Typ with type t = 't)
type ('internal, 'extended) conversion =
--
GitLab