diff --git a/tapl/tests/run-all-tests.rkt b/tapl/tests/run-all-tests.rkt
index 7d83b01..f3a68ba 100644
--- a/tapl/tests/run-all-tests.rkt
+++ b/tapl/tests/run-all-tests.rkt
@@ -25,4 +25,7 @@
 ;; F_omega
 (require "fomega-tests.rkt")
 (require "fomega2-tests.rkt")
-(require "fomega3-tests.rkt")
\ No newline at end of file
+(require "fomega3-tests.rkt")
+
+(require "stlc+occurrence-tests.rkt")
+(require "stlc+overloading-tests.rkt")