From 60f591094f7694959f0d8c502e78bb24d0db73b3 Mon Sep 17 00:00:00 2001 From: 5top1t Date: Wed, 11 Sep 2024 06:44:35 -0400 Subject: [PATCH] fix overview typo --- docs/source/technicaloverview.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/technicaloverview.rst b/docs/source/technicaloverview.rst index a5ec382d9..27b576fdd 100644 --- a/docs/source/technicaloverview.rst +++ b/docs/source/technicaloverview.rst @@ -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.