$NetBSD: patch-console_src_dune,v 1.1 2019/03/19 10:56:03 jaapb Exp $

Removed unknown parameters
--- console/src/dune.orig	2019-02-13 10:33:20.000000000 +0000
+++ console/src/dune
@@ -1,3 +1,3 @@
 (library (name console) (public_name textutils.console)
- (preprocess (pps ppx_jane -dont-check-doc-comments-attachment))
- (libraries core))
\ No newline at end of file
+ (preprocess (pps ppx_jane))
+ (libraries core))
