From ebff0be5ea6a7e4e18f42f135536e351438f1fff Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 6 Jun 2023 22:00:00 -0400 Subject: [PATCH] containers: add `Vec = CCVec` --- src/core/containers.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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