diff --git a/math/.gitignore b/math/.gitignore
index cac42e2..18dc1ad 100644
--- a/math/.gitignore
+++ b/math/.gitignore
@@ -1,5 +1,4 @@
 # Compiled source
-*.mli
 *.cmi
 *.cmx
 *.o