From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 contrib/xml/proofTree2Xml.ml4 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'contrib/xml/proofTree2Xml.ml4')

diff --git a/contrib/xml/proofTree2Xml.ml4 b/contrib/xml/proofTree2Xml.ml4
index 9afd07a6..05be01bc 100644
--- a/contrib/xml/proofTree2Xml.ml4
+++ b/contrib/xml/proofTree2Xml.ml4
@@ -82,8 +82,7 @@ let first_word s =
 
 let string_of_prim_rule x = match x with
   | Proof_type.Intro _-> "Intro"
-  | Proof_type.Intro_replacing _-> "Intro_replacing"
-  | Proof_type.Cut (_,_,_) -> "Cut"
+  | Proof_type.Cut _ -> "Cut"
   | Proof_type.FixRule (_,_,_) -> "FixRule"
   | Proof_type.Cofix (_,_)-> "Cofix"
   | Proof_type.Refine _ -> "Refine"
-- 
cgit v1.2.3