summaryrefslogtreecommitdiff
path: root/parsing/ast_helper.mli
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/ast_helper.mli')
-rw-r--r--parsing/ast_helper.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/ast_helper.mli b/parsing/ast_helper.mli
index f2ad365faf..e10ac8d153 100644
--- a/parsing/ast_helper.mli
+++ b/parsing/ast_helper.mli
@@ -369,7 +369,7 @@ module Incl:
module Vb:
sig
val mk: ?loc: loc -> ?attrs:attrs -> ?docs:docs -> ?text:text ->
- pattern -> expression -> value_binding
+ ?typ:poly_constraint -> pattern -> expression -> value_binding
end