rename CCLeftistheap to CCHeap, for it is a simpler name

This commit is contained in:
Simon Cruanes 2014-06-25 01:36:15 +02:00
parent cac3500177
commit 9e2c8ec392
5 changed files with 3 additions and 3 deletions

2
_oasis
View file

@ -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

View file

@ -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;

View file

@ -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