From 3184f85de1dac7071afcf9838dfc3f8609b20a5a Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 20 Sep 2026 03:00:57 -0300
Subject: provenance

---
 lib/concepts/Cardinality.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/concepts/Cardinality.mli')

diff --git a/lib/concepts/Cardinality.mli b/lib/concepts/Cardinality.mli
index e4df62b..c9a5d6d 100644
--- a/lib/concepts/Cardinality.mli
+++ b/lib/concepts/Cardinality.mli
@@ -6,6 +6,7 @@ val equal : t -> t -> bool
 val leq : t -> t -> bool
 val join : t -> t -> t
 val meet : t -> t -> t
+
 (** the class of a generator run under every binding produced by
     another, which is how the classes of the generators chosen by an
     analysis combine. *)
-- 
cgit v1.2.3