From ea1eaa9b152b73652f417e02bd469e5b289cec47 Mon Sep 17 00:00:00 2001
From: corbinea
Date: Thu, 26 Apr 2007 08:54:28 +0000
Subject: fin des conclusions multiples

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

(limited to 'proofs/decl_expr.mli')

diff --git a/proofs/decl_expr.mli b/proofs/decl_expr.mli
index 1c5cc0e746..d02060fc0a 100644
--- a/proofs/decl_expr.mli
+++ b/proofs/decl_expr.mli
@@ -18,7 +18,6 @@ type 'it statement =
 
 type thesis_kind =
     Plain
-  | Sub of int
   | For of identifier
 
 type 'this or_thesis =
-- 
cgit v1.2.3