diff --git a/tapl/tests/mlish/bg/basics-general.mlish b/tapl/tests/mlish/bg/basics-general.mlish
index d8261dc..51f7475 100644
--- a/tapl/tests/mlish/bg/basics-general.mlish
+++ b/tapl/tests/mlish/bg/basics-general.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 
 (define-type (List X)
   Nil
diff --git a/tapl/tests/mlish/bg/basics.mlish b/tapl/tests/mlish/bg/basics.mlish
index 5c07d0f..b8481c6 100644
--- a/tapl/tests/mlish/bg/basics.mlish
+++ b/tapl/tests/mlish/bg/basics.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 (require "../../rackunit-typechecking.rkt")
 (require "basics-general.mlish")
 (require-typed map append fst snd member foldl foldr filter sum reverse
diff --git a/tapl/tests/mlish/bg/basics2.mlish b/tapl/tests/mlish/bg/basics2.mlish
index 04fd222..424950b 100644
--- a/tapl/tests/mlish/bg/basics2.mlish
+++ b/tapl/tests/mlish/bg/basics2.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 (require "../../rackunit-typechecking.rkt")
 (require "basics-general.mlish")
 (require-typed append filter foldr foldl reverse snd member 
diff --git a/tapl/tests/mlish/bg/huffman.mlish b/tapl/tests/mlish/bg/huffman.mlish
index 0e3399a..f98cd9d 100644
--- a/tapl/tests/mlish/bg/huffman.mlish
+++ b/tapl/tests/mlish/bg/huffman.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 (require "../../rackunit-typechecking.rkt")
 
 ;; Huffman trees from SICP
diff --git a/tapl/tests/mlish/bg/lambda.mlish b/tapl/tests/mlish/bg/lambda.mlish
index cee711e..b4dec88 100644
--- a/tapl/tests/mlish/bg/lambda.mlish
+++ b/tapl/tests/mlish/bg/lambda.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 (require "../../rackunit-typechecking.rkt")
 
 ;; Lambda Calculus interpreter
diff --git a/tapl/tests/mlish/bg/monad.mlish b/tapl/tests/mlish/bg/monad.mlish
index cbea739..1949b0d 100644
--- a/tapl/tests/mlish/bg/monad.mlish
+++ b/tapl/tests/mlish/bg/monad.mlish
@@ -1,4 +1,4 @@
-#lang s-exp "../../../mlish.rkt"
+#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
 (require "../../rackunit-typechecking.rkt")
 
 (define-type (Option A)