Skip to content

Commit eb124d2

Browse files
art-wart-w
committed
stable domains/atomics identifiers
1 parent 992e88e commit eb124d2

File tree

5 files changed

+112
-104
lines changed

5 files changed

+112
-104
lines changed

‎dscheck.opam‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,6 @@ bug-reports: "https://github.com/sadiqj/dscheck/issues"
88
depends: [
99
"ocaml" {>= "5.0.0"}
1010
"dune" {>= "2.9"}
11-
"containers"
12-
"oseq"
1311
"odoc" {with-doc}
1412
]
1513
build: [

‎dune-project‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,5 @@
1010
(package
1111
(name dscheck)
1212
(synopsis "Traced Atomics")
13-
(depends (ocaml (>= 5.0.0)) dune containers oseq))
13+
(depends (ocaml (>= 5.0.0)) dune))
1414

‎src/dune‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
(library
2-
(public_name dscheck)
3-
(libraries containers oseq))
2+
(public_name dscheck))

0 commit comments

Comments
 (0)