diff --git a/src/plugins/eva/engine/abstractions.ml b/src/plugins/eva/engine/abstractions.ml
index a2dd68cb5b00ffa62267c55a2657140d26e41f91..3e02c2c85e63c3656b4869637a547a7c2bceee67 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 =