Merge pull request diffblue#2163 from tautschnig/fix-test

Remove unnecessary (and inconsistent) return statement

Author: Daniel Kroening

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;
 }