diff options
author | 2014-09-25 10:34:30 +0530 | |
---|---|---|
committer | 2014-09-25 10:34:30 +0530 | |
commit | f6981d46b1373bbe3d3ff43981dba84dba2eb43a (patch) | |
tree | 40c28c565289342ebcaf2d8fa31ab67cc5ed83e9 /Test/test21/Orderings4.bpl.p.expect | |
parent | 9897cb74c1f9e7139b9a1d890aca4168cfd95326 (diff) |
The setter is better this way
Diffstat (limited to 'Test/test21/Orderings4.bpl.p.expect')
0 files changed, 0 insertions, 0 deletions