diff options
| author | Pierre-Marie Pédrot | 2020-11-18 13:08:25 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-18 13:08:25 +0100 |
| commit | 54e65ebc9b03b51060967dabb775418047090a8c (patch) | |
| tree | 55fc72fee64116d2a50fd9f0f8f1a5d2da1e32d8 /kernel/vmbytecodes.ml | |
| parent | 396de348a4daa2ae752bed8c75a9ecacb4dcd579 (diff) | |
| parent | a9e0805933af9de930c36a3b1e2db46d6648f1e9 (diff) | |
Merge PR #13251: Make sure that setoid_rewrite passes state to subgoals
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions