diff --git a/.gitignore b/.gitignore
index c2538ab893d352032f5ed22c291d7c052f5c6a9a..7293b2bb434b695a2ab76a63c5c3b0f782df69d7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ test-out
 test-instances
 cover
 result
+.vscode