1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 142bd6c..8f0bc20 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
 *.pin

 *.so

 *.wo

+*.svf