diff --git a/.gitignore b/.gitignore
index 3054fb5..a194dcc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,6 +32,7 @@ timing.exe
 
 # oops ;) but we don't want them to appear in the repository...
 *.stackdump
+*.core
 
 # misc
 *.rej