From af4bf49156408db8bbb981f9a1ce218973901391 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 5 Mar 2015 01:55:08 +0100
Subject: [PATCH] remove junk in .merlin

---
 .merlin | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.merlin b/.merlin
index d5a2d81a..67556471 100644
--- a/.merlin
+++ b/.merlin
@@ -9,7 +9,6 @@ S src/threads/
 S src/misc
 S src/string
 S src/bigarray
-S src/pervasives
 S benchs
 S examples
 S tests
@@ -24,7 +23,6 @@ B _build/src/threads/
 B _build/src/misc
 B _build/src/string
 B _build/src/bigarray
-B _build/src/pervasives
 B _build/benchs
 B _build/examples
 B _build/tests