From 4bbc4eb3febf6e26f697a2d14d36707723cd1248 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 19 May 2008 08:45:13 +0000
Subject: Thanks to Matthieu's commit 10941, Ad-hoc tactics contained in
 QRewrite are no longer needed to compile theories/Numbers. QRewrite will
 probably be removed in a latter commit (need to check 2-3 things first with
 Matthieu and Evgeny)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10943 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Numbers/NumPrelude.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/Numbers/NumPrelude.v b/theories/Numbers/NumPrelude.v
index 05e9051708..904145d503 100644
--- a/theories/Numbers/NumPrelude.v
+++ b/theories/Numbers/NumPrelude.v
@@ -11,7 +11,6 @@
 (*i $Id$ i*)
 
 Require Export Setoid.
-Require Export QRewrite.
 
 Set Implicit Arguments.
 (*
-- 
cgit v1.2.3