diff options
Diffstat (limited to 'toplevel/vernacentries.ml')
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index e02079fad6..664b05f1d3 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -163,7 +163,7 @@ let make_cases s = let show_match id = try let s = string_of_id (snd id) in - let patterns = make_cases s in + let patterns = List.rev (make_cases s) in let cases = List.fold_left (fun acc x -> |