diff options
| author |  rustanleino <unknown> | 2010-06-08 20:09:12 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-08 20:09:12 +0000 |
| commit | bcd8949ab6d5bd86dc3e81226b1f936d05babfa4 (patch) | |
| tree | d2ea8016b651c53840cc9928fd5958a06109d004 /Test/dafny0/Answer | |
| parent | b33ec85f6a0bf52f767dc98d9d51e3eab8d51226 (diff) | |
Dafny: Fix type bug in SplitExpr translation.
Diffstat (limited to 'Test/dafny0/Answer')
0 files changed, 0 insertions, 0 deletions