diff options
| author | Pierre-Marie Pédrot | 2019-03-11 12:16:45 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-12-01 22:29:57 +0100 |
| commit | 64de97e5f16d3c52f73fb126ca64c85382c2a3d4 (patch) | |
| tree | 7b7342ed21790a0bacce8b97c79b7fc41a4db886 /engine | |
| parent | b39b55934269f288b03b19e05bad3dafaa447a55 (diff) | |
Fix a bug in funind.
It was generating a completely nonsense case branch, but for some reason
the proof still went trough.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions