From 7c9b809078b5cd53e3d54c0004c683da2ec679af Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Mon, 11 Feb 2019 17:23:59 +0000 Subject: Add a cache --- lib/models/id/user_id.mli | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/models/id/user_id.mli') diff --git a/lib/models/id/user_id.mli b/lib/models/id/user_id.mli index 574c4f0..f9506f7 100644 --- a/lib/models/id/user_id.mli +++ b/lib/models/id/user_id.mli @@ -1,3 +1 @@ -include module type of User_id_t -include S.UserImpl with - type t := User_id_t.t \ No newline at end of file +include module type of User_id_t \ No newline at end of file -- cgit v1.2.3