diff options
| -rwxr-xr-x | parsing/ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/ast.ml b/parsing/ast.ml index ca864ac056..13a9c0d41d 100755 --- a/parsing/ast.ml +++ b/parsing/ast.ml @@ -44,7 +44,7 @@ let rec set_loc loc = function let path_section loc sp = let (sl,bn,pk) = repr_path sp in - Coqast.Path(loc,List.rev(string_of_id bn :: sl), string_of_kind pk) + Coqast.Path(loc, string_of_id bn :: (List.rev sl), string_of_kind pk) let section_path sl k = match List.rev sl with |