From 9e2c8ec392324d7183f3549087e24e082de83d72 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 25 Jun 2014 01:36:15 +0200 Subject: [PATCH] rename CCLeftistheap to CCHeap, for it is a simpler name --- _oasis | 2 +- core/{CCLeftistheap.ml => CCHeap.ml} | 0 core/{CCLeftistheap.mli => CCHeap.mli} | 0 tests/run_tests.ml | 2 +- tests/{test_leftistheap.ml => test_CCHeap.ml} | 2 +- 5 files changed, 3 insertions(+), 3 deletions(-) rename core/{CCLeftistheap.ml => CCHeap.ml} (100%) rename core/{CCLeftistheap.mli => CCHeap.mli} (100%) rename tests/{test_leftistheap.ml => test_CCHeap.ml} (95%) 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