diff options
| author | Matthieu Sozeau | 2014-08-14 14:50:26 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-08-14 14:50:26 +0200 |
| commit | cd98815d0e1e57eed3e19eb9516a980b82c60a36 (patch) | |
| tree | 2ce4fc095668c6c0b63c88d89bcb3baabfbd3db2 /doc/tutorial | |
| parent | fcfa1e90df70b7fc00a4865fb48c1dc3250c58d9 (diff) | |
Fix program using an the unsubstituted type of the original obligation
instead of the normalized one at the end of the proof. Fixes bug #3517.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions