diff --git a/containers.odocl b/containers.odocl
index 9a575742..ead8b185 100644
--- a/containers.odocl
+++ b/containers.odocl
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 71885759eab42ad3dd73d2ce208fd28b)
+# DO NOT EDIT (digest: a52e8eee77cd96d96e004a2de941d978)
 core/CCVector
 core/CCDeque
 core/CCGen
@@ -25,6 +25,7 @@ core/CCBatch
 core/CCOrd
 core/CCRandom
 core/CCLinq
+core/CCKTree
 string/KMP
 string/CCString
 string/Levenshtein
diff --git a/core/containers.mldylib b/core/containers.mldylib
index c5000e1f..3561c883 100644
--- a/core/containers.mldylib
+++ b/core/containers.mldylib
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 8d0afff73fae73db9a0364afaa57d4d2)
+# DO NOT EDIT (digest: 05cc1d6bba13caf723a490805b87184c)
 CCVector
 CCDeque
 CCGen
@@ -25,4 +25,5 @@ CCBatch
 CCOrd
 CCRandom
 CCLinq
+CCKTree
 # OASIS_STOP
diff --git a/core/containers.mllib b/core/containers.mllib
index c5000e1f..3561c883 100644
--- a/core/containers.mllib
+++ b/core/containers.mllib
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 8d0afff73fae73db9a0364afaa57d4d2)
+# DO NOT EDIT (digest: 05cc1d6bba13caf723a490805b87184c)
 CCVector
 CCDeque
 CCGen
@@ -25,4 +25,5 @@ CCBatch
 CCOrd
 CCRandom
 CCLinq
+CCKTree
 # OASIS_STOP
diff --git a/setup.ml b/setup.ml
index 580016c7..c1f08eec 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.4 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: e9f5fdc049b9e92ec4196c6ae1642243) *)
+(* DO NOT EDIT (digest: 256b2892d142e42196867db22bbc71be) *)
 (*
    Regenerated by OASIS v0.4.4
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7019,7 +7019,8 @@ let setup_t =
                            "CCBatch";
                            "CCOrd";
                            "CCRandom";
-                           "CCLinq"
+                           "CCLinq";
+                           "CCKTree"
                         ];
                       lib_pack = false;
                       lib_internal_modules = [];
@@ -7734,7 +7735,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.4";
-     oasis_digest = Some "\017\130L\20257\216\2367yE\018q\163z<";
+     oasis_digest = Some "z\241\133\139\168\2444\199nf\239k+\183l\007";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
@@ -7742,6 +7743,6 @@ let setup_t =
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7746 "setup.ml"
+# 7747 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;