diff --git a/.gitignore b/.gitignore
index 095c8b0..b0d35ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ current_counterexample.eqc
 test/contracts/test.aes
 __pycache__
 .docssite/docs/*.md
+.vscode