1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 68f0792..7cffbd0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ results/*
 status
 tags
 **/obj
+*.trace*