diff options
| author | Pierre-Marie Pédrot | 2020-05-12 17:13:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-12 17:13:05 +0200 |
| commit | efb78e3c413bcc66d470ba4046c56bae0a61f56f (patch) | |
| tree | a2139fd2681c93563a1272c4d545931ad7b6485b /kernel/cbytecodes.ml | |
| parent | 697730186f17ac3992b9b7966c505b8f64eab69d (diff) | |
| parent | 3a8376b5dc39e9b546470509b80de3fe9881c7f3 (diff) | |
Merge PR #12146: Fixes #10812: tactic subst failure with section variables indirectly dependent in goal
Ack-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions