From a0cfa4f118023d35b767a999d5a2ac4b082857b4 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 25 Jul 2008 15:12:53 +0200
Subject: Imported Upstream version 8.2~beta3+dfsg

---
 tactics/contradiction.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'tactics/contradiction.mli')

diff --git a/tactics/contradiction.mli b/tactics/contradiction.mli
index d94a1ef2..e417f500 100644
--- a/tactics/contradiction.mli
+++ b/tactics/contradiction.mli
@@ -6,14 +6,15 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: contradiction.mli 5920 2004-07-16 20:01:26Z herbelin $ i*)
+(*i $Id: contradiction.mli 9842 2007-05-20 17:44:23Z herbelin $ i*)
 
 (*i*)
 open Names
 open Term
 open Proof_type
 open Rawterm
+open Genarg
 (*i*)
 
 val absurd                      : constr -> tactic
-val contradiction               : constr with_bindings option -> tactic
+val contradiction               : constr with_ebindings option -> tactic
-- 
cgit v1.2.3