From 033f4c51916f9d1d2fdcbb3e14ec9635a82737b2 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 7 May 2018 11:15:09 +0000
Subject: [PATCH] Remove unnecessary (and inconsistent) return statement

---
 regression/cbmc/Float22/main.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/regression/cbmc/Float22/main.c b/regression/cbmc/Float22/main.c
index 188df76e97c..f2ab9bf4382 100644
--- a/regression/cbmc/Float22/main.c
+++ b/regression/cbmc/Float22/main.c
@@ -69,8 +69,6 @@ void testTwo (void) {
    f2.f = returnsField(1);
 
    assert(f1.ieee.negative != f2.ieee.negative);
-
-   return 1;
 }