diff options
| -rw-r--r-- | parsing/pcoq.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4 index f0b13f23e6..f9cd0839fe 100644 --- a/parsing/pcoq.ml4 +++ b/parsing/pcoq.ml4 @@ -138,7 +138,7 @@ let slam_ast (_,fin) id ast = let abstract_binder_ast (_,fin as loc) name a b = match a with | Coqast.Node((deb,_),s,d::l) -> - let s' = if s="$BINDER" then name else s in + let s' = if s="BINDER" then name else s in Coqast.Node((deb,fin),s', [d; List.fold_right (slam_ast loc) l b]) | _ -> invalid_arg "Bad usage of $ABSTRACT macro" |