Merge pull request #363 from 5top1t/overview-typo

driv3r · web-flow · commit f19a5e398a34 · 2024-09-11T14:55:22.000+02:00
Fix typo in overview
diff --git 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.
