Skip to content

Commit 493ab57

Browse files
committed
Minor Changes
1 parent 99ad676 commit 493ab57

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

pages/examples/index.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,10 +23,10 @@ cards:
2323
description: A typestate protocol for a downloader object.
2424
- title: ReentrantLock
2525
url: /examples/reentrant-lock/
26-
description: An external typestate refinement for java.util.concurrent.locks.ReentrantLock.
26+
description: An external typestate refinement for ReentrantLock to ensure proper lock usage.
2727
- title: ArrayList
2828
url: /examples/arraylist/
29-
description: An external refinement for java.util.ArrayList that statically prevents out-of-bounds accesses.
29+
description: An external refinement for ArrayList that statically prevents out-of-bounds accesses.
3030
---
3131

3232
# Examples

0 commit comments

Comments
 (0)