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
---
 parsing/ppdecl_proof.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'parsing/ppdecl_proof.ml')

diff --git a/parsing/ppdecl_proof.ml b/parsing/ppdecl_proof.ml
index ec8523d4d3..9e3de9838b 100644
--- a/parsing/ppdecl_proof.ml
+++ b/parsing/ppdecl_proof.ml
@@ -41,7 +41,6 @@ let pr_or_thesis pr_this env = function
     Thesis Plain -> str "thesis"
   | Thesis (For id) -> 
       str "thesis" ++ spc() ++ str "for" ++ spc () ++ pr_id id 
-  | Thesis (Sub n) -> str "thesis[" ++ int n ++ str "]"
   | This c -> pr_this env c
 
 let pr_cut pr_it env c = 
-- 
cgit v1.2.3