Fix typo: change 't0' to 'to' in README

Signed-off-by: mob <[email protected]>
tlaplus · Dec 8, 2024 · 0320106 · 0320106
1 parent e0bd541
commit 0320106
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tlatools/org.lamport.tlatools/src/tla2sany/README b/tlatools/org.lamport.tlatools/src/tla2sany/README
@@ -3,7 +3,7 @@ Author: Tomer Libal (2014)
 Here are some instructions of how to use SANY from the command line
 -------------------------------------------------------------------
 
-- In order t0 run SANY: java -cp <tools-jar> tla2sany.SANY <tla-file>
+- In order to run SANY: java -cp <tools-jar> tla2sany.SANY <tla-file>
 
 - In order to include the library modules (Standard modules like Sequences are contained in the jar but other modules like TLAPS are not).
 add the following flag to the java command: -DTLA-Library=<my-library-loc>