aboutsummaryrefslogtreecommitdiff
path: root/lib/models/id/user_id.ml
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-24 13:30:01 -0700
committerAdelyn Breelove <[email protected]>2019-01-24 13:30:01 -0700
commit1dc92998ffcbb0481c26fa7fbf081ce3379f08d6 (patch)
treec7f9acc6b7c9dd0bfaef3e703ca4cab82ee483af /lib/models/id/user_id.ml
parentStart of an event dispatch rework (diff)
downloaddisml-1dc92998ffcbb0481c26fa7fbf081ce3379f08d6.tar.xz
disml-1dc92998ffcbb0481c26fa7fbf081ce3379f08d6.zip
More event dispatch work
Diffstat (limited to 'lib/models/id/user_id.ml')
-rw-r--r--lib/models/id/user_id.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/models/id/user_id.ml b/lib/models/id/user_id.ml
index aba1b17..77ce220 100644
--- a/lib/models/id/user_id.ml
+++ b/lib/models/id/user_id.ml
@@ -1 +1,2 @@
+include User_id_t
include Impl.User(User_id_t) \ No newline at end of file