diff options
author | Checkmate50 <dgeisler50@gmail.com> | 2016-07-23 14:27:23 -0600 |
---|---|---|
committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-23 14:27:23 -0600 |
commit | 2b64144fb02b68d00188ee81c27afa5fbc026b5b (patch) | |
tree | 3cd907500621d3a506444688bda63ae0f521696f /Test | |
parent | f678d42190391708ae09fa68347421da54d9a7b4 (diff) |
fixed an error where a -0 was not interpreted as a negative number
Diffstat (limited to 'Test')
-rw-r--r-- | Test/floats/float13.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/floats/float13.bpl b/Test/floats/float13.bpl index 4aab608a..9c99a30b 100644 --- a/Test/floats/float13.bpl +++ b/Test/floats/float13.bpl @@ -17,7 +17,7 @@ procedure main() returns () { assert(f == fc); f := -0e126f24e8; - fc := TO_FLOAT32_REAL(0.5); + fc := TO_FLOAT32_REAL(-0.5); assert(f == fc); f := 1048576e128f24e8; |