1 files changed, 1 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 88ad25a5..9f9f67b3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,7 +35,7 @@ rust-tests/target/
 /fstar-tests
 *~
 nohup.out
-.ocamlformat"
+.ocamlformat
 .vscode
 *#
 *.lock