diff options
author | MichalMoskal <unknown> | 2009-10-30 21:43:00 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2009-10-30 21:43:00 +0000 |
commit | 5eee5f136a9296a0e3178f5d1d564c0241352dc4 (patch) | |
tree | 2614047a32c722345242f37c3153328ffa1036b8 /Test/VSI-Benchmarks/b2.dfy | |
parent | 671019adbba36b13542764d410722c7fa01e29fe (diff) |
Use the new F# names for bigint type
Diffstat (limited to 'Test/VSI-Benchmarks/b2.dfy')
0 files changed, 0 insertions, 0 deletions