1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune
index 6208dd7..ca9aac2 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,3 +1,5 @@
+(include_subdirs qualified)
 (library
 (name rdcapsis)
 (preprocess

diff --git a/lib/dune b/lib/dune index 6208dd7..ca9aac2 100644 --- a/lib/dune +++ b/lib/dune
@@ -1,3 +1,5 @@
		1	(include_subdirs qualified)
		2
1	(library	3	(library
2	(name rdcapsis)	4	(name rdcapsis)
3	(preprocess	5	(preprocess