diff options
| -rw-r--r-- | parsing/termast.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/termast.ml b/parsing/termast.ml index cd708e3040..8e7cc12af2 100644 --- a/parsing/termast.ml +++ b/parsing/termast.ml @@ -195,7 +195,10 @@ let rec ast_of_raw = function let astf = ast_of_raw f in let astargs = List.map ast_of_raw args in (match f with + | RRef (_,(EvarRef _ as ref)) -> + ast_of_ref ast_of_raw ref (* we drop args *) | RRef (_,ref) -> ast_of_app (implicits_of_global ref) astf astargs + | RVar (_,id) -> let imp = try |