diff options
Diffstat (limited to 'dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch')
-rw-r--r-- | dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch index e4783220b822..c94933291f30 100644 --- a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch +++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch @@ -1,5 +1,5 @@ --- a/lib/dune -+++ b/lib/dune_ ++++ b/lib/dune @@ -34,5 +34,4 @@ (public_name yojson) (modules yojson) |