diff options
Diffstat (limited to 'src/tac2intern.mli')
| -rw-r--r-- | src/tac2intern.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2intern.mli b/src/tac2intern.mli index dac074a0eb..8c997b741e 100644 --- a/src/tac2intern.mli +++ b/src/tac2intern.mli @@ -41,5 +41,5 @@ val globalize : Id.Set.t -> raw_tacexpr -> raw_tacexpr (** Errors *) -val error_nargs_mismatch : Loc.t -> int -> int -> 'a +val error_nargs_mismatch : Loc.t -> ltac_constructor -> int -> int -> 'a val error_nparams_mismatch : Loc.t -> int -> int -> 'a |