1 files changed, 4 insertions, 1 deletions
diff --git a/dune-project b/dune-project
index 45d9d06314..fa05f5fb41 100644
--- a/dune-project
+++ b/dune-project
@@ -1,7 +1,10 @@
-(lang dune 1.10)
+(lang dune 2.0)
 (name coq)
 (using coq 0.1)
 
+(formatting
+ (enabled_for ocaml))
+
 ; We cannot set this to true until as long as the build is not
 ; properly bootstrapped [that is, we remove the voboot target]
 ;