From fac9f180315cf439016423e017eb6c8dc445172a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 8 Apr 2018 18:54:40 -0500
Subject: [PATCH] test: consistency `CCList{,Labels}`

---
 src/core/CCListLabels.ml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/core/CCListLabels.ml b/src/core/CCListLabels.ml
index e2f676b6..282134b4 100644
--- a/src/core/CCListLabels.ml
+++ b/src/core/CCListLabels.ml
@@ -2,3 +2,17 @@
 (* This file is free software, part of containers. See file "license" for more details. *)
 
 include CCList
+
+(*$inject
+  module type L = module type of CCList
+  module type LL = module type of CCListLabels
+*)
+
+(*$R
+  ignore (module CCListLabels : L)
+*)
+
+(*$R
+  ignore (module CCList : LL)
+*)
+