diff --git a/src/data/CCRingBuffer.mli b/src/data/CCRingBuffer.mli index 7eadba09..4992c02b 100644 --- a/src/data/CCRingBuffer.mli +++ b/src/data/CCRingBuffer.mli @@ -1,4 +1,4 @@ -(** +(* * CCRingBuffer - Polymorphic Circular Buffer * Copyright (C) 2015 Simon Cruanes, Carmelo Piccione *