diff --git a/.gitignore b/.gitignore
index b767be68..0021830c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ output/
 *.agdai
 .output
 .grin-output/
+.vscode/