aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/concepts/Cardinality.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit/concepts/Cardinality.ml')
-rw-r--r--test/unit/concepts/Cardinality.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/test/unit/concepts/Cardinality.ml b/test/unit/concepts/Cardinality.ml
index a60c472..b77e12c 100644
--- a/test/unit/concepts/Cardinality.ml
+++ b/test/unit/concepts/Cardinality.ml
@@ -1,5 +1,4 @@
open Alcotest
-
module C = Rnt.Concepts.Cardinality
let klass = testable (fun ppf c -> Format.pp_print_string ppf (C.to_string c)) C.equal