Skip to content

Commit

Permalink
fix overview typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@jarryngandjui
jarryngandjui committed Sep 11, 2024
1 parent 28b62b7 commit 60f5910
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/source/technicaloverview.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -106,5 +106,5 @@ Algorithm Correctness
---------------------

The overall algorithm of Ghostferry is specified in a TLA+ specification and
validated via TLC. The algorithm can be see in the ``tlaplus`` directory in the
validated via TLC. The algorithm can be seen in the ``tlaplus`` directory in the
source tree.

0 comments on commit 60f5910

Please sign in to comment.