1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 0d5dbc1..998e44b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -130,3 +130,4 @@ src/cli/test_reducer.err
 vgcore*
 __pycache__
 tags
+contrib/extracted.h