diff --git a/tests/float/oracle/nonlin.3.res.oracle b/tests/float/oracle/nonlin.4.res.oracle
similarity index 100%
rename from tests/float/oracle/nonlin.3.res.oracle
rename to tests/float/oracle/nonlin.4.res.oracle