From 5ec22b65a16f82a3816635c3a4857a5ae544d6db Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 1 Oct 2002 14:27:59 +0000
Subject: Oops...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3060 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/autorewrite.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/autorewrite.ml b/tactics/autorewrite.ml
index 42df9ca278..7febf87ab9 100644
--- a/tactics/autorewrite.ml
+++ b/tactics/autorewrite.ml
@@ -69,7 +69,7 @@ let cache_hintrewrite (_,(rbase,lrl)) =
     try 
       List.rev_append l (Stringmap.find rbase !rewtab) 
     with
-      | Not_found -> l
+      | Not_found -> List.rev l
   in
     rewtab:=Stringmap.add rbase l !rewtab
 
-- 
cgit v1.2.3