1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 9ddb957..de08f1f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ log-paper-weak.txt
 *-O2.txt
 *-explore.txt
 */bin
+log