diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/heap.mli | 2 | ||||
| -rw-r--r-- | lib/predicate.mli | 2 | ||||
| -rw-r--r-- | lib/profile.mli | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/lib/heap.mli b/lib/heap.mli index de1b6f9ba..0bef2edb2 100644 --- a/lib/heap.mli +++ b/lib/heap.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) (* Heaps *) diff --git a/lib/predicate.mli b/lib/predicate.mli index 73e4ecce9..41d5399b9 100644 --- a/lib/predicate.mli +++ b/lib/predicate.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (* Module [Pred]: sets over infinite ordered types with complement. *) diff --git a/lib/profile.mli b/lib/profile.mli index 065cbd0b9..ab2af2398 100644 --- a/lib/profile.mli +++ b/lib/profile.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) (*s This program is a small time and allocation profiler for Objective Caml *) |