From a0a94c1340a63cdb824507b973393882666ba52a Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 19 Feb 2009 13:13:14 +0100
Subject: Imported Upstream version 8.2-1+dfsg

---
 dev/base_include | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/base_include b/dev/base_include
index 0b7a0b67..d4366843 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -128,7 +128,6 @@ open Hipattern
 open Inv
 open Leminv
 open Refine
-open Setoid_replace
 open Tacinterp
 open Tacticals
 open Tactics
-- 
cgit v1.2.3