diff --git a/.vscode/metacoq.code-workspace b/.vscode/metacoq.code-workspace
index 6037bbe57..973ccbbf2 100644
--- a/.vscode/metacoq.code-workspace
+++ b/.vscode/metacoq.code-workspace
@@ -25,6 +25,6 @@
 	    ],
 	    
 	 // When enabled, will trim trailing whitespace when saving a file.
-	 "files.trimTrailingWhitespace": false
+	 "files.trimTrailingWhitespace": true
     }
 }