From 854c7e3f6e42241342739ea7d174402ea6fc3daa Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 31 Oct 2014 16:56:31 +0100 Subject: [PATCH] Updated .merlin --- common/.merlin | 4 ++++ sat/.merlin | 1 + smt/.merlin | 8 ++++++++ 3 files changed, 13 insertions(+) create mode 100644 common/.merlin create mode 100644 smt/.merlin diff --git a/common/.merlin b/common/.merlin new file mode 100644 index 00000000..db2b3820 --- /dev/null +++ b/common/.merlin @@ -0,0 +1,4 @@ +S ./ + +B ../_build/ +B ../_build/common/ diff --git a/sat/.merlin b/sat/.merlin index 91f14621..167e6845 100644 --- a/sat/.merlin +++ b/sat/.merlin @@ -2,4 +2,5 @@ S ./ S ../common/ B ../_build/ +B ../_build/sat/ B ../_build/common/ diff --git a/smt/.merlin b/smt/.merlin new file mode 100644 index 00000000..daa95b7d --- /dev/null +++ b/smt/.merlin @@ -0,0 +1,8 @@ +S ./ +S ../sat/ +S ../common/ + +B ../_build/ +B ../_build/sat/ +B ../_build/smt/ +B ../_build/common/