1 files changed, 2 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index b82e38f..34c3866 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,4 +1,6 @@
 (executable
 (public_name rdcapsis)
 (name main)
+ (preprocess
+  (pps ppx_jane))
 (libraries rdcapsis))

diff --git a/bin/dune b/bin/dune index b82e38f..34c3866 100644 --- a/bin/dune +++ b/bin/dune
@@ -1,4 +1,6 @@
1	(executable	1	(executable
2	(public_name rdcapsis)	2	(public_name rdcapsis)
3	(name main)	3	(name main)
		4	(preprocess
		5	(pps ppx_jane))
4	(libraries rdcapsis))	6	(libraries rdcapsis))