diff --git a/dune-project b/dune-project
deleted file mode 100644
index 7655de0..0000000
--- a/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.1)