From 0aa2544d04dbd4b6ee665b551ed165e4fb02d2fa Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 15 Jul 2015 10:36:12 +0200
Subject: Imported Upstream version 8.5~beta2+dfsg

---
 tactics/contradiction.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'tactics/contradiction.ml')

diff --git a/tactics/contradiction.ml b/tactics/contradiction.ml
index 9ee14b80..9b69481d 100644
--- a/tactics/contradiction.ml
+++ b/tactics/contradiction.ml
@@ -9,8 +9,6 @@
 open Errors
 open Term
 open Hipattern
-open Tacmach
-open Tacticals
 open Tactics
 open Coqlib
 open Reductionops
-- 
cgit v1.2.3