You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
--- a/dune
|
|
+++ b/dune
|
|
@@ -1,7 +1,6 @@
|
|
(library
|
|
(public_name ptmap)
|
|
- (modules ptmap)
|
|
- (libraries seq))
|
|
+ (modules ptmap))
|
|
|
|
(test
|
|
(name test)
|