diff --git a/settings.gradle b/settings.gradle
new file mode 100644
index 0000000000000000000000000000000000000000..b7adac996996acbb28959b542bb569f56823db47
--- /dev/null
+++ b/settings.gradle
@@ -0,0 +1 @@
+rootProject.name = "tlc4b"