From c04ee13d6e5d3b652be3d7e48050334e58c15d3b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 28 Mar 2018 20:20:09 -0500 Subject: [PATCH] fix(array): small change in signatures --- src/core/CCArray.mli | 2 +- src/core/CCArrayLabels.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCArray.mli b/src/core/CCArray.mli index 46784348..651394fd 100644 --- a/src/core/CCArray.mli +++ b/src/core/CCArray.mli @@ -13,7 +13,7 @@ type 'a printer = Format.formatter -> 'a -> unit (** {2 Arrays} *) -include module type of Array +include module type of struct include Array end type 'a t = 'a array diff --git a/src/core/CCArrayLabels.mli b/src/core/CCArrayLabels.mli index 2cbe9330..4e7bc98e 100644 --- a/src/core/CCArrayLabels.mli +++ b/src/core/CCArrayLabels.mli @@ -13,7 +13,7 @@ type 'a printer = Format.formatter -> 'a -> unit (** {2 Arrays} *) -include module type of ArrayLabels +include module type of struct include ArrayLabels end type 'a t = 'a array