diff options
| author |  qunyanm <unknown> | 2015-11-04 16:27:42 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-11-04 16:27:42 -0800 |
| commit | d3c778854c2dc792a2dfbd9c5b05d667d18fb4c4 (patch) | |
| tree | 7c5c0554b13c19256b8bb8863188797f9ca047dc /Test/dafny2/SegmentSum.dfy.expect | |
| parent | 2b7d31bb3e0276028a8bc50c4933ea60fed5fb60 (diff) | |
Fix issue 104. Use ResolvedExpression to compute subexpressions for
DatatypeUpdateExpr if ResovedExpression is not null.
Diffstat (limited to 'Test/dafny2/SegmentSum.dfy.expect')
0 files changed, 0 insertions, 0 deletions