From 2b64144fb02b68d00188ee81c27afa5fbc026b5b Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Sat, 23 Jul 2016 14:27:23 -0600
Subject: fixed an error where a -0 was not interpreted as a negative number

---
 Test/floats/float13.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/floats')

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;
-- 
cgit v1.2.3