From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 21 Jul 2010 09:46:51 +0200 Subject: Imported Upstream snapshot 8.3~beta0+13298 --- lib/gmap.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/gmap.ml') diff --git a/lib/gmap.ml b/lib/gmap.ml index 7a4cb56e..0c498fe7 100644 --- a/lib/gmap.ml +++ b/lib/gmap.ml @@ -5,7 +5,7 @@ (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id: gmap.ml 10250 2007-10-23 15:02:23Z aspiwack $ *) +(* $Id$ *) (* Maps using the generic comparison function of ocaml. Code borrowed from the ocaml standard library (Copyright 1996, INRIA). *) -- cgit v1.2.3