From 29945416252830ab22807b6334eafb6414372606 Mon Sep 17 00:00:00 2001
From: Sylvain Dailler <dailler@adacore.com>
Date: Thu, 17 Oct 2019 12:03:25 +0200
Subject: [PATCH] merlin: add src/extract to the merlin directories

---
 .merlin.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.merlin.in b/.merlin.in
index 4e7d57b47..e5eb9a5e8 100644
--- a/.merlin.in
+++ b/.merlin.in
@@ -1,6 +1,7 @@
 S src/util
 S src/core
 S src/driver
+S src/extract
 S src/mlw
 S src/parser
 S src/transform
@@ -22,6 +23,7 @@ S plugins/python
 B src/util
 B src/core
 B src/driver
+B src/extract
 B src/mlw
 B src/parser
 B src/transform
-- 
2.22.0