Skip to content

Commit

Permalink
link fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
@josef-widder
josef-widder committed Dec 14, 2023
1 parent a2b45d7 commit 563bee1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Specs/Quint/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ This specification is separated into

## State machine

- [State machine](./statemachineAsync)
- [State machine](./statemachineAsync.qnt)

## Runs

Expand Down

0 comments on commit 563bee1

Please sign in to comment.