diff options
| -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 |