Skip to content

Commit

Permalink
fix warning
Browse files Browse the repository at this point in the history
  • Loading branch information
@pelikhan
pelikhan committed Mar 23, 2024
1 parent 433b546 commit b18b39a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/content/docs/case-studies/tla-ai-linter.mdx
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ TLA+ does not come with a traditional linter or formatter. The TLA+ AI Linter i

The following is a TLA+ spec that models a seminal solution to the [termination detection problem in distributed systems](https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF).

<Code code={specSource} wrap={true} lang="tla" title="EWD998PCal.tla" />
<Code code={specSource} wrap={true} lang="txt" title="EWD998PCal.tla" />

## Script

Expand Down

0 comments on commit b18b39a

Please sign in to comment.