diff --git a/.gitignore b/.gitignore
index 2c3da02..8416472 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,3 +20,4 @@ interval*/*
 coqopts
 *.crashcoqide
 *.cache
+.coq-native/