Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
21316bb89a fix type mismatch 2014-06-25 23:33:30 +02:00
Simon Cruanes
4adcf95b4d merge from dev 2014-06-25 01:47:51 +02:00
Simon Cruanes
9e2c8ec392 rename CCLeftistheap to CCHeap, for it is a simpler name 2014-06-25 01:36:32 +02:00
Renamed from core/CCLeftistheap.mli (Browse further)