$NetBSD: patch-int__set_src_dune,v 1.2 2020/01/16 15:31:15 jaapb Exp $

Remove unknown argument

--- int_set/src/dune.orig	2019-02-19 14:45:16.000000000 +0000
+++ int_set/src/dune
@@ -1,2 +1,2 @@
 (library (name int_set) (public_name core_kernel.int_set)
- (preprocess (pps ppx_jane -check-doc-comments)) (libraries core_kernel))
\ No newline at end of file
+ (preprocess (pps ppx_jane)) (libraries core_kernel))
