From 8e7efcfd3b2ab27b452624dd9ace0a1db38b213a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 26 Jan 2017 15:02:38 +0100
Subject: [PATCH] ocamlinit file

---
 .ocamlinit | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .ocamlinit

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";;