Skip to content

Commit

Permalink
Temptative clarification of the role of ltac_genargs field in ltac_va…
Browse files Browse the repository at this point in the history
…r_map.
  • Loading branch information
herbelin committed Sep 10, 2018
1 parent 0948234 commit 077bb33
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pretyping/ltac_pretype.ml
Original file line number Diff line number Diff line change
Expand Up @@ -64,5 +64,5 @@ type ltac_var_map = {
ltac_idents: Id.t Id.Map.t;
(** Ltac variables bound to identifiers *)
ltac_genargs : unbound_ltac_var_map;
(** Ltac variables bound to other kinds of arguments *)
(** All Ltac variables (to pass on ltac subterms, and for error reporting) *)
}

0 comments on commit 077bb33

Please sign in to comment.