From 5aded353dbf4eccff16769e3762c4810060fb6cf Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Thu, 30 Jan 2014 22:19:16 +0100
Subject: Fix coqide build under MacOS

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8f0a9a409..5b4ffa77b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -139,7 +139,6 @@ tactics/extratactics.ml
 tactics/extraargs.ml
 toplevel/whelp.ml
 ide/coqide_main.ml
-ide/coqide_main_opt.ml
 
 # other auto-generated files
 
-- 
cgit v1.2.3