diff --git a/dune-project b/dune-project
index 4da0e2863..eef99a8b3 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,2 @@
 (lang dune 1.2)
 (name dns)
-(using menhir 2.0)