From 46b621269c95e98e22c0e86fe21d7a4428d08f45 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 8 Jul 2016 14:29:36 +0200
Subject: [PATCH] Merlin update

---
 .merlin | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/.merlin b/.merlin
index 86bc450d..1bbee931 100644
--- a/.merlin
+++ b/.merlin
@@ -1,14 +1,14 @@
-S sat
-S smt
-S solver
-S backend
-S util
-S util/smtlib
+S src/core
+S src/solver
+S src/example
+S src/backend
+S src/util
+S src/util/smtlib
 
-B _build/
-B _build/sat
-B _build/smt
-B _build/solver
-B _build/util
-B _build/smtlib
-B _build/backend
+B _build/src/
+B _build/src/core
+B _build/src/solver
+B _build/src/example
+B _build/src/util
+B _build/src/util/smtlib
+B _build/src/backend