diff options
author | boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
---|---|---|
committer | boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
commit | 623a87c132abec61b5c74a6a00a7b162073a6a8d (patch) | |
tree | b95ba791592cf395ce99035715de98578a5519ee /Source/InterimKey.snk | |
parent | ed83becd12d7079e6ce2853fbebace20b1e7df5a (diff) |
Boogie: new syntax for integer division and modulus: use div and mod instead of / and %
Diffstat (limited to 'Source/InterimKey.snk')
0 files changed, 0 insertions, 0 deletions