diff --git a/.ocamlinit b/.ocamlinit
deleted file mode 100644
index 1b93b2ce..00000000
--- a/.ocamlinit
+++ /dev/null
@@ -1,2 +0,0 @@
-#directory "_build/src";;
-#load "msat.cma";;