diff options
| author |  Dietrich <dgeisler50@gmail.com> | 2015-05-04 03:46:22 -0600 |
|---|---|---|
| committer | Dietrich <dgeisler50@gmail.com> | 2015-05-04 03:46:22 -0600 |
| commit | d213a71b16a344dab7ac5d08507668abebffd21e (patch) | |
| tree | ece00fc97fcc83309a51b95b2b6972a75e6af73d /Source/Basetypes | |
| parent | 1058d935425fa9c9544fbf18dad184cd8333e0d9 (diff) | |
integrated the named float type to act as a real in boogie
Diffstat (limited to 'Source/Basetypes')
0 files changed, 0 insertions, 0 deletions