From 24a44a8723895a6749706ba2a3f73c51aea13d72 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 27 Nov 2013 18:28:42 -0500
Subject: [PATCH] Ignore config/compile file, which newer autotools create

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

diff --git a/.gitignore b/.gitignore
index ea21c49bc..741f08ccd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,6 +23,7 @@ generated/
 \#*\#
 *.gcov
 /lcov/
+/config/compile
 .cvc4_config
 config.reconfig
 *.swp
-- 
2.30.2