Skip to content

Commit 9abc664

Browse files
authored
Merge pull request #70 from Khady/patch-1
Mark alcotest as a test dependency
2 parents 71c075c + 7c5bd51 commit 9abc664

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lockfree.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"qcheck" {with-test & >= "0.18.1"}
1616
"qcheck-stm" {with-test & >= "0.1"}
1717
"qcheck-alcotest" {with-test & >= "0.18.1"}
18-
"alcotest" {>= "1.6.0"}
18+
"alcotest" {with-test & >= "1.6.0"}
1919
"yojson" {>= "2.0.2"}
2020
"dscheck" {with-test & >= "0.0.1"}
2121
]

0 commit comments

Comments
 (0)