diff --git a/.gitignore b/.gitignore
index 930946d11b8c0d296bfca429ee0fa71f0ad47bfe..ebb24ee276455d2617f4360e82dcffc8a9e390b9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ config.log
 config.status
 configure
 *cheddar.xml
+gnatinspect.db
 
 aclocal.m4
 doc/ocarina.info