diff options
| author | Maxime Dénès | 2017-05-17 08:19:13 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-17 08:19:13 +0200 |
| commit | 5ea95f9cd843bec4504646851bf22bf505e56ad8 (patch) | |
| tree | cabc0bd3f442df9a7229bff8dd9edd964d342a0f /dev/base_include | |
| parent | 9f8220164703aee47c6c6d7dba07caabf7555c1c (diff) | |
| parent | 530ce019b7bdcc2603027082f6b3f6841d5990e1 (diff) | |
Merge PR#639: Stop using auto with * in two proofs.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions