1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 4ad2b2b7..eb4a6bf9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,4 +30,5 @@ _opam/
 
 # Misc
 *~
-nohup.out
-\ No newline at end of file
+nohup.out
+.ocamlformat
+\ No newline at end of file