diff options
| -rw-r--r-- | contrib/extraction/extraction.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/extraction.ml b/contrib/extraction/extraction.ml index 744dc5f281..c48580dac3 100644 --- a/contrib/extraction/extraction.ml +++ b/contrib/extraction/extraction.ml @@ -160,7 +160,7 @@ let v_of_t env t = match get_arity env t with type binders = (identifier * constr) list (* Convention: right binders give [Rel 1] at the head, like those answered by - decompose_prod. Left binders are the converse. *) + [decompose_prod]. Left binders are the converse. *) let rec lbinders_fold f acc env = function | [] -> acc |