From 6e8cedd7905c6058d0faf0a2aee7cc8496ccb3c4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 10 Mar 2019 11:27:37 -0500
Subject: [PATCH] cleanup some files

---
 .ocamlinit | 2 --
 VERSION    | 1 -
 2 files changed, 3 deletions(-)
 delete mode 100644 .ocamlinit
 delete mode 100644 VERSION

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";;
diff --git a/VERSION b/VERSION
deleted file mode 100644
index 5a2a5806..00000000
--- a/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-0.6