From cb8297e94808ef83f0eab0edd5e1419163d8a000 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 14 Aug 2014 18:05:15 -0700
Subject: [PATCH] chore(.gitignore): ignore .ilean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ebdbc04eb..e7e1cb0e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 *.md.lean
 *.olean
 *.clean
+*.ilean
 *.d
 a.out
 build