From bb912d51d8e4134b7e0527aa196951801355d9c7 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Thu, 27 May 2010 18:39:22 +0000
Subject: [PATCH] Adding .cvc4_config to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 63534333a..c5d2ff796 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ generated/
 #*#
 *.gcov
 /lcov/
+.cvc4_config
-- 
2.30.2