From f678d42190391708ae09fa68347421da54d9a7b4 Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Fri, 22 Jul 2016 16:00:48 -0600
Subject: corrected minor error in test

---
 Test/floats/float13.bpl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Test/floats/float13.bpl b/Test/floats/float13.bpl
index 9b9fa7cb..4aab608a 100644
--- a/Test/floats/float13.bpl
+++ b/Test/floats/float13.bpl
@@ -16,6 +16,10 @@ procedure main() returns () {
 	fc := TO_FLOAT32_INT(5);
 	assert(f == fc);
 	
+	f := -0e126f24e8;
+	fc := TO_FLOAT32_REAL(0.5);
+	assert(f == fc);
+	
 	f := 1048576e128f24e8;
 	fc := TO_FLOAT32_REAL(2.25);
 	assert(f == fc);
@@ -26,5 +30,5 @@ procedure main() returns () {
 	
 	d := 562949953421312e1024f53e11;
 	dc := TO_FLOAT64_REAL(2.25);
-	//assert(d == dc);
+	assert(d == dc);
 }
\ No newline at end of file
-- 
cgit v1.2.3