From adff86c007196e4389668c7935b7891c5b4217c7 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Thu, 17 Dec 2020 11:25:03 +0100
Subject: fix extraction of non-aarch64 targets

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1d6cad94..fa9b1c67 100644
--- a/.gitignore
+++ b/.gitignore
@@ -76,6 +76,7 @@
 /lib/Responsefile.ml
 /driver/Version.ml
 /driver/Compiler.v
+/extraction/extraction.v
 # Documentation
 /doc/coq2html
 /doc/coq2html.ml
-- 
cgit