TLC2 Version 2.14 of 10 July 2019 (rev: 0cae24f)
Running breadth-first ...
Starting SANY...
Parsing file /Users/bob/foo/foo.tla
***Parse Error***
Item at line 14, col 9 to line 14, col 9 of module foo is not properly indented inside conjunction or disjunction list item at line 11, col 9 to line 14, col 9 of module foo
Residual stack trace follows:
AND-OR Junction starting at line 9, column 9.
ExtendableExpr starting at line 9, column 9.
Expression starting at line 9, column 9.
Definition starting at line 8, column 1.
Module body starting at line 5, column 1.
Fatal errors while parsing TLA+ spec in file foo
tla2sany.semantic.AbortException
*** Abort messages: 1
In module foo
Could not parse module foo from file foo.tla
SANY finished.
Starting... (2019-09-21 18:53:51)
Parsing or semantic analysis failed.
Finished in 620ms at (2019-09-21 18:53:51)