diff options
| author | coq | 2002-10-01 14:27:59 +0000 |
|---|---|---|
| committer | coq | 2002-10-01 14:27:59 +0000 |
| commit | 5ec22b65a16f82a3816635c3a4857a5ae544d6db (patch) | |
| tree | 8955728e985e330ffeb12e343a78647711626061 | |
| parent | b06ab7a63160bd70f3e740836a25bc788be04998 (diff) | |
Oops...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3060 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | tactics/autorewrite.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |