path: root/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch

--- a/dune
+++ b/dune
@@ -1,7 +1,6 @@
 (library
  (public_name ptmap)
- (modules ptmap)
- (libraries seq))
+ (modules ptmap))
 
 (test
  (name test)