diff --git a/src/config.c b/src/config.c
index f0b48dc1a..957489a18 100644
--- a/src/config.c
+++ b/src/config.c
@@ -511,7 +511,6 @@ load_machine(void)
     cpu_use_dynarec = !!ini_section_get_int(cat, "cpu_use_dynarec", 0);
     fpu_softfloat = !!ini_section_get_int(cat, "fpu_softfloat", 0);
     if ((fpu_type != FPU_NONE) && machine_has_flags(machine, MACHINE_SOFTFLOAT_ONLY))
-    if (machine_has_flags(machine, MACHINE_SOFTFLOAT_ONLY))
         fpu_softfloat = 1;
 
     p = ini_section_get_string(cat, "time_sync", NULL);