diff --git a/.vscode/vdmignore b/.vscode/vdmignore
index 55bdc3d..291e7ef 100644
--- a/.vscode/vdmignore
+++ b/.vscode/vdmignore
@@ -1,2 +1,2 @@
-doc/
-pub/
+!formal/*
+**/**
\ No newline at end of file