diff --git a/_oasis b/_oasis index 80b0eacc..627456dc 100644 --- a/_oasis +++ b/_oasis @@ -40,7 +40,7 @@ Library "containers" Path: core Modules: CCVector, CCDeque, CCGen, CCSequence, CCFQueue, CCMultiMap, CCMultiSet, CCBV, CCPrint, CCPersistentHashtbl, CCError, - CCLeftistheap, CCList, CCOpt, CCPair, CCFun, CCHash, + CCHeap, CCList, CCOpt, CCPair, CCFun, CCHash, CCKList, CCInt, CCBool, CCArray, CCBatch, CCOrd, CCRandom, CCLinq FindlibName: containers diff --git a/core/CCLeftistheap.ml b/core/CCHeap.ml similarity index 100% rename from core/CCLeftistheap.ml rename to core/CCHeap.ml diff --git a/core/CCLeftistheap.mli b/core/CCHeap.mli similarity index 100% rename from core/CCLeftistheap.mli rename to core/CCHeap.mli diff --git a/tests/run_tests.ml b/tests/run_tests.ml index a1b8893d..858df690 100644 --- a/tests/run_tests.ml +++ b/tests/run_tests.ml @@ -11,7 +11,7 @@ let suite = Test_PiCalculus.suite; Test_splayMap.suite; Test_bij.suite; - Test_leftistheap.suite; + Test_CCHeap.suite; Test_cc.suite; Test_puf.suite; Test_vector.suite; diff --git a/tests/test_leftistheap.ml b/tests/test_CCHeap.ml similarity index 95% rename from tests/test_leftistheap.ml rename to tests/test_CCHeap.ml index 1175f22c..a0c97a79 100644 --- a/tests/test_leftistheap.ml +++ b/tests/test_CCHeap.ml @@ -5,7 +5,7 @@ open OUnit module Sequence = CCSequence -module H = CCLeftistheap.Make(struct type t = int let leq x y =x<=y end) +module H = CCHeap.Make(struct type t = int let leq x y =x<=y end) let empty = H.empty