diff --git a/turnstile/examples/tests/run-all-tests.rkt b/turnstile/examples/tests/run-all-tests.rkt
index e4f267d..f288127 100644
--- a/turnstile/examples/tests/run-all-tests.rkt
+++ b/turnstile/examples/tests/run-all-tests.rkt
@@ -22,12 +22,6 @@
 
 (require "fsub-tests.rkt") ; sysf + reco-sub
 
-;; F_omega
-(require "fomega-tests.rkt")
-(require "fomega2-tests.rkt")
-(require "fomega3-tests.rkt")
-(require "fomega-no-reuse-tests.rkt")
-
 ;; these are not ported to turnstile yet
 ;; see macrotypes/examples/tests/run-all-tests.rkt
 ;(require macrotypes/examples/tests/stlc+occurrence-tests)
@@ -44,5 +38,11 @@
 (require "stlc+union.rkt")
 (require "stlc+union+case.rkt")
 
+;; F_omega
+(require "fomega-tests.rkt")
+(require "fomega2-tests.rkt")
+(require "fomega3-tests.rkt")
+(require "fomega-no-reuse-tests.rkt")
+
 ; don't run this file for testing:
 (module test racket/base)