diff --git a/test/run-spec-test.py b/test/run-spec-test.py
index 45bb31b..5347c85 100755
--- a/test/run-spec-test.py
+++ b/test/run-spec-test.py
@@ -430,10 +430,9 @@ def runInvoke(test):
 if args.file:
     jsonFiles = args.file
 else:
-    jsonFiles = (glob.glob(os.path.join(".", "core", "*.json")) +
-                 glob.glob(os.path.join(".", "proposals", "sign-extension-ops", "*.json")) +
-                 glob.glob(os.path.join(".", "proposals", "nontrapping-float-to-int-conversions", "*.json"))
-                )
+    jsonFiles  = glob.glob(os.path.join(".", "core", "*.json"))
+    jsonFiles += glob.glob(os.path.join(".", "proposals", "sign-extension-ops", "*.json"))
+    #jsonFiles += glob.glob(os.path.join(".", "proposals", "nontrapping-float-to-int-conversions", "*.json"))
 
 jsonFiles = list(map(lambda x: os.path.relpath(x, scriptDir), jsonFiles))
 jsonFiles.sort()