diff --git a/.gitignore b/.gitignore
index 80cdacb..d3b99e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,3 +69,7 @@ hardware.out
 .clang_complete
 .gcc-flags.json
 
+
+# ada stuff
+*.ali
+