From de1653bdcc97ed904c7ef3813b3f5313ccc3b7e7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 9 Feb 2019 16:43:37 -0600
Subject: [PATCH] chore: remove ocamlinit file

---
 .ocamlinit | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .ocamlinit

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