From 8662e92987c437f59d09896a247ec2b5d82c4528 Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Mon, 28 Jan 2019 10:31:51 -0700 Subject: Publish docs updates --- lib/models/id/channel_id.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/models/id/channel_id.mli') diff --git a/lib/models/id/channel_id.mli b/lib/models/id/channel_id.mli index f352160..59b4d23 100644 --- a/lib/models/id/channel_id.mli +++ b/lib/models/id/channel_id.mli @@ -1,3 +1,3 @@ -include module type of Channel_id_t -include S.ChannelImpl with +include module type of Channel_id_t +include S.ChannelImpl with type t := Channel_id_t.t \ No newline at end of file -- cgit v1.2.3