From 2f5c0f8880cd4ccc27cef4980768d35c9ebd26ea Mon Sep 17 00:00:00 2001
From: mohring
Date: Wed, 2 Nov 2005 22:12:16 +0000
Subject: Types inductifs parametriques

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

(limited to 'lib')

diff --git a/lib/rtree.mli b/lib/rtree.mli
index 80523d588f..554af81636 100644
--- a/lib/rtree.mli
+++ b/lib/rtree.mli
@@ -9,7 +9,8 @@
 (*i $Id$ i*)
 
 (* Type of regular tree with nodes labelled by values of type 'a *)
-type 'a t
+
+type 'a t 
 
 (* Building trees *)
 (* build a recursive call *) 
-- 
cgit v1.2.3