diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-20 17:41:22 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-20 17:41:22 -0700 |
| commit | 032662d0adb823376b1abd49a0c46ba3276f8721 (patch) | |
| tree | 00be25f421022c7c774667b684edda3b6058bc17 /Util/Emacs | |
| parent | e9de4cbd947adfe63c13e771f048a8c392035bb2 (diff) | |
Dafny: fixed bug (missing Boogie cast) in translation of induction over generic datatypes instantiated with datatypes
Diffstat (limited to 'Util/Emacs')
0 files changed, 0 insertions, 0 deletions