Skip to content
Snippets Groups Projects
Commit 0459f019 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Disables an ocaml warning in abstractions.ml.

parent 76fcf7f9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/eva/engine/abstractions.ml
+ 1
− 1
View file @ 0459f019
...@@ -599,7 +599,7 @@ module Domain = struct ...@@ -599,7 +599,7 @@ module Domain = struct
| Unit _ -> Self.fatal "The built domain cannot be unit." | Unit _ -> Self.fatal "The built domain cannot be unit."
| State structured -> structured | 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 't typ = (module Typ with type t = 't)
type ('internal, 'extended) conversion = type ('internal, 'extended) conversion =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment