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