From 45e28779f639b16a053db898ddc1509eb9b39fff Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Matthes <matthesjh@gmail.com>
Date: Sat, 7 Dec 2019 20:36:00 +0100
Subject: [PATCH] Ignore the Curry_Main_Goal file

---
 Curry.gitignore | 1 +
 1 file changed, 1 insertion(+)

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