diff options
| author |  Rustan Leino <unknown> | 2014-02-13 21:10:16 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-13 21:10:16 -0800 |
| commit | 79610237eba7902e8be127fa54f2572a2c01f6b7 (patch) | |
| tree | 4c273b46c76e2128cc9e058aebdb96d0c6405bc2 /Util | |
| parent | 6897d8be8a9c5ebef140398f682021acfea393bb (diff) | |
Allow unary minus on reals
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions