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