From 2015ca9f06f02f4a22653600dec676fc68dd83f7 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 2 Sep 2009 20:46:09 +0000
Subject: Stop unnecessary use of lazy values for constraints, simplifying
 setoid_rewrite's code. Cleanup in vernacexpr.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12303 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacexpr.ml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml
index eaa434956f..e563f66874 100644
--- a/toplevel/vernacexpr.ml
+++ b/toplevel/vernacexpr.ml
@@ -237,14 +237,7 @@ type vernac_expr =
   | VernacIdentityCoercion of locality * lident * 
       class_rawexpr * class_rawexpr
 
-  (* Type classes *)
-(*   | VernacClass of *)
-(*       lident * (\* name *\) *)
-(* 	local_binder list * (\* params *\) *)
-(* 	sort_expr located option * (\* arity *\) *)
-(* 	local_binder list * (\* constraints *\) *)
-(* 	(lident * bool * constr_expr) list (\* props, with substructure hints *\) *)
-	
+  (* Type classes *)	
   | VernacInstance of
       bool * (* global *)
       local_binder list * (* super *)
-- 
cgit v1.2.3