From 0561cb4f31ef77440bd4b71f68b9983af1aac984 Mon Sep 17 00:00:00 2001
From: Stephanie Weirich <sweirich@cis.upenn.edu>
Date: Tue, 4 Feb 2020 16:16:32 -0500
Subject: [PATCH] Update .gitignore

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 6c93bcfe4..415d722e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,3 +43,7 @@ ghc-8.0.2
 ghc-8.4.1
 ghc-head
 /result
+
+*.crashcoqide
+*.DS_Store
+