diff --git a/src/core/containers.ml b/src/core/containers.ml index be529eba..70332108 100644 --- a/src/core/containers.ml +++ b/src/core/containers.ml @@ -47,7 +47,8 @@ module Result = CCResult module Seq = CCSeq module Set = CCSet module String = CCString -module Vector = CCVector +module Vec = CCVec +module Vector = CCVector [@@deprecated "use Vec"] module Monomorphic = CCMonomorphic module Utf8_string = CCUtf8_string module Unit = CCUnit