From 6c11a78e610c4b022a09a8d2e5dca567931c0e1e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 20 Nov 2012 08:41:45 -0800
Subject: [PATCH] fixed .gitignore

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

diff --git a/.gitignore b/.gitignore
index 916a91f5d..8424ea64b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *.cma
 *.cmi
 *.cmxa
+ocamlz3
 # Emacs temp files
 \#*\#
 # Directories with generated code and documentation
@@ -23,7 +24,7 @@ src/HTML/*
 src/cscope.in.out
 src/cscope.out
 src/cscope.po.out
-ncsope.out
+ncscope.out
 # CEDET files
 .cproject
 .project