aboutsummaryrefslogtreecommitdiff
path: root/lib/models/ban.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/models/ban.mli')
-rw-r--r--lib/models/ban.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/models/ban.mli b/lib/models/ban.mli
index d1050b0..f8b1c2e 100644
--- a/lib/models/ban.mli
+++ b/lib/models/ban.mli
@@ -1 +1 @@
-type t = Ban_t.t \ No newline at end of file
+include module type of Ban_t \ No newline at end of file