diff --git a/.gitignore b/.gitignore
index 1680c274ddb0aba4beaddd97b8faecc602909f7b..827dba27de50e3170af7b5b3b92e05759141bf65 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+core
 notes/
 snippets/
 make_output.txt