From 6615075fe4add11e8374573fe53b778cf2883ded Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 11 Oct 2016 17:21:20 -0400
Subject: [PATCH] Add .native

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

diff --git a/Coq.gitignore b/Coq.gitignore
index ad9b23e2..a3cb78ee 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio