From 24d9213cae2cf8602b47fd73a73e3e364b90a164 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 10 Dec 2015 20:32:06 +0100 Subject: [PATCH] bugfix: forgot to exporte `{Set.Map}.OrderedType` in `Containers` --- src/core/containers.ml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/core/containers.ml b/src/core/containers.ml index 1c527b6b..5f5b4b05 100644 --- a/src/core/containers.ml +++ b/src/core/containers.ml @@ -79,7 +79,10 @@ module List = struct include List include CCList end -module Map = CCMap +module Map = struct + module type OrderedType = Map.OrderedType + include CCMap +end module Option = CCOpt module Pair = CCPair module Random = struct @@ -87,7 +90,10 @@ module Random = struct include CCRandom end module Ref = CCRef -module Set = CCSet +module Set = struct + module type OrderedType = Set.OrderedType + include CCSet +end module String = struct include String include CCString