diff --git a/sledge/.gitignore b/sledge/.gitignore
index 4c28634b3..d878b83d7 100644
--- a/sledge/.gitignore
+++ b/sledge/.gitignore
@@ -1,7 +1,6 @@
 .merlin
 /bin/
 /llvm/
-/model/cxxabi.bc
 /model/dune
 /src/dune
 /src/import/dune