diff options
Diffstat (limited to 'tactics/tacticals.ml')
| -rw-r--r-- | tactics/tacticals.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tacticals.ml b/tactics/tacticals.ml index 8260da9d7..840cd0c05 100644 --- a/tactics/tacticals.ml +++ b/tactics/tacticals.ml @@ -151,7 +151,7 @@ type branch_args = { nassums : int; (* the number of assumptions to be introduced *) branchsign : bool list; (* the signature of the branch. true=recursive argument, false=constant *) - branchnames : intro_pattern_expr Loc.located list} + branchnames : constr intro_pattern_expr Loc.located list} type branch_assumptions = { ba : branch_args; (* the branch args *) |