diff options
| author | Lasse Blaauwbroek | 2020-10-22 18:06:20 +0200 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2020-10-22 18:06:20 +0200 |
| commit | a9e0805933af9de930c36a3b1e2db46d6648f1e9 (patch) | |
| tree | 15d9b24713e3a4eef2899e82c241ed5b6113104d /dev | |
| parent | 9db73ef18c45238223f30a462fc2c6d20493d1d2 (diff) | |
Make sure that setoid_rewrite passes state to subgoals
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions