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.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/models/id/user_id.ml') diff --git a/lib/models/id/user_id.ml b/lib/models/id/user_id.ml index cc71764..00d930f 100644 --- a/lib/models/id/user_id.ml +++ b/lib/models/id/user_id.ml @@ -1,2 +1 @@ -include User_id_t -include Impl.User(User_id_t) \ No newline at end of file +include User_id_t \ No newline at end of file -- cgit v1.2.3