diff --git a/examples/init/test.sh b/examples/init/test.sh
index 0440143c77..9188dfdfc6 100755
--- a/examples/init/test.sh
+++ b/examples/init/test.sh
@@ -7,7 +7,6 @@ set -ex
 ${LAKE:-../../build/bin/lake} new hello.world
 
 cd hello-world
-test -f lean-toolchain
 ${LAKE:-../../../build/bin/lake} build
 ./build/bin/hello-world
 cd ..