diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-17 10:41:38 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-17 10:41:38 -0700 |
| commit | 8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9 (patch) | |
| tree | 281475ea7fdab6440916bf070dd975348bcf39f3 /lib/models/ban.mli | |
| parent | Resolve non-ff merge (diff) | |
| download | disml-8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9.tar.xz disml-8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9.zip | |
Fix mli files and add member methods back
Diffstat (limited to 'lib/models/ban.mli')
| -rw-r--r-- | lib/models/ban.mli | 2 |
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 |