1 files changed, 0 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 174fc31..83a64f6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,7 +41,6 @@ bin/vericert
 
 # Ocaml
 _build
-dune-project
 .merlin
 
 /docs/html