1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 55a6c60..087bb6a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,3 +32,5 @@ nra.cache
 Makefile.coq
 Makefile.coq.conf
 .coqdeps.d
+
+extraction/src/
+\ No newline at end of file