Update src/cdomains/apron/sharedFunctions.apron.ml

Co-authored-by: Simmo Saan <[email protected]>
goblint · May 15, 2024 · cf6f990 · cf6f990
1 parent a03cc64
commit cf6f990
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cdomains/apron/sharedFunctions.apron.ml b/src/cdomains/apron/sharedFunctions.apron.ml
@@ -316,7 +316,6 @@ sig
 
   (** is_empty is true, if the domain representation has a dimension size of zero *)
   val is_empty : t -> bool
-  val is_empty : t -> bool
   val dim_add : Apron.Dim.change -> t -> t
   val dim_remove : Apron.Dim.change -> t -> del:bool-> t
 end