py: Temporary fix for conversion of float to int when fits in small int.

Addresses issue #1044 (see also #1040).  Could do with a better fix.

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/run-tests b/tests/run-tests
index 13f584e41..a88ad4c2b 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -65,7 +65,7 @@ def run_tests(pyb, tests, args):
     # Some tests shouldn't be run on pyboard
     if pyb is not None:
         skip_tests.add('float/float_divmod.py') # tested by float/float_divmod_relaxed.py instead
-        skip_tests.add('float/float2int.py') # requires double precision floating point to work
+        skip_tests.add('float/float2int_doubleprec.py') # requires double precision floating point to work
 
     # Some tests are known to fail on 64-bit machines
     if pyb is None and platform.architecture()[0] == '64bit':