From 2426468702ce8ace572550ace39a76827ebb0329 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 5 Dec 1999 18:33:45 +0000
Subject: abstraction type Gmapl.t

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@202 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/gmapl.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/gmapl.mli b/lib/gmapl.mli
index 27b465f83d..c3a55e8c1c 100644
--- a/lib/gmapl.mli
+++ b/lib/gmapl.mli
@@ -3,7 +3,7 @@
 
 (* Maps from ['a] to lists of ['b]. *)
 
-type ('a,'b) t = ('a,'b list) Gmap.t
+type ('a,'b) t
 
 val empty : ('a,'b) t
 val mem :  'a -> ('a,'b) t -> bool
-- 
cgit v1.2.3