diff options
| author | corbinea | 2007-04-26 08:54:28 +0000 |
|---|---|---|
| committer | corbinea | 2007-04-26 08:54:28 +0000 |
| commit | ea1eaa9b152b73652f417e02bd469e5b289cec47 (patch) | |
| tree | 4d654ad1434bac0781eb4f3e6f1505c3895df4ba /parsing/ppdecl_proof.ml | |
| parent | 40425048feff138e6c67555c7ee94142452d1cae (diff) | |
fin des conclusions multiples
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9796 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/ppdecl_proof.ml')
| -rw-r--r-- | parsing/ppdecl_proof.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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 = |