From c3da8df60ded4af2b4cdfa7f8a8a0428c35ed3c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 17 Sep 2021 17:04:27 +0200
Subject: [PATCH] [Eva] api: Exports Equality.elements.

---
 src/plugins/value/domains/equality/equality.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/value/domains/equality/equality.mli b/src/plugins/value/domains/equality/equality.mli
index 87ef746f453..3e92e268f8a 100644
--- a/src/plugins/value/domains/equality/equality.mli
+++ b/src/plugins/value/domains/equality/equality.mli
@@ -88,6 +88,8 @@ module Equality : sig
   val choose: t -> elt
   (** Return the representative of the equality. *)
 
+  val elements: t -> elt list
+  (** Returns the list of all elements of the given set. *)
 end
 
 type equality = Equality.t
-- 
GitLab