1 files changed, 0 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 732ff23..0900006 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,4 +11,3 @@ result-*
 
 # Non-Nix outputs
 tmp/
-dump.vcd