diff --git a/dune-project b/dune-project
index 7655de07..3772cb84 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1,2 @@
 (lang dune 1.1)
+(name lambda-term)