diff options
author | 2017-05-25 11:16:35 +0200 | |
---|---|---|
committer | 2017-05-25 11:16:35 +0200 | |
commit | f2fec63025d933f56dabf114a51720b1aae626c1 (patch) | |
tree | 7f729302601fef48e6c59534a7904c7dfb92df2d /interp/stdarg.mli | |
parent | 28f8da9489463b166391416de86420c15976522f (diff) | |
parent | 94e783390ef9ad9d26a54add2287e0a3e58d1b70 (diff) |
Merge PR#402: Uniform attribute handling in interfaces
Diffstat (limited to 'interp/stdarg.mli')
-rw-r--r-- | interp/stdarg.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/stdarg.mli b/interp/stdarg.mli index ac40a2328..6a98ee64d 100644 --- a/interp/stdarg.mli +++ b/interp/stdarg.mli @@ -21,7 +21,7 @@ open Tactypes open Genarg (** FIXME: nothing to do there. *) -val loc_of_or_by_notation : ('a -> Loc.t) -> 'a or_by_notation -> Loc.t +val loc_of_or_by_notation : ('a -> Loc.t option) -> 'a or_by_notation -> Loc.t option val wit_unit : unit uniform_genarg_type |