diff options
Diffstat (limited to 'lib/genarg.mli')
-rw-r--r-- | lib/genarg.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/genarg.mli b/lib/genarg.mli index 51c261742..f275b0d00 100644 --- a/lib/genarg.mli +++ b/lib/genarg.mli @@ -191,7 +191,7 @@ val app_pair : type argument_type = (** Basic types *) | IntOrVarArgType - | IdentArgType of bool + | IdentArgType | VarArgType (** Specific types *) | GenArgType |