diff --git a/.gitignore b/.gitignore
index 77bef60..2fada85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 repos
 cache
 hoc.log
+result