1 files changed, 2 insertions, 1 deletions

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