diff --git a/Curry.gitignore b/Curry.gitignore
index 35e501e4..44cd6016 100644
--- a/Curry.gitignore
+++ b/Curry.gitignore
@@ -1,2 +1,3 @@
 .cpm/
 .curry/
+Curry_Main_Goal.curry