Module Parser.parse_file

[mery54]

Failure("Module.Parser.parse_file")
Raised at Stdlib.failwith in file "stdlib.ml", line 29, characters 17-33
Called from M_save.clocking in file "m_save.ml", line 25, characters 16-20
Called from Tlapm.read_new_modules.(fun) in file "tlapm.ml", line 455, characters 8-112
Called from Stdlib__list.fold_left in file "list.ml", line 121, characters 24-34
Called from Tlapm.main in file "tlapm.ml", line 490, characters 20-43
Called from Tlapm.init in file "tlapm.ml", line 518, characters 8-33

version == "1.5.0"
built_with == "OCaml 4.12.0"
tlapm_executable == "/usr/local/bin/tlapm"
max_threads == 12
library_path == "/usr/local/lib/tlaps"
search_path == << "/usr/local/lib/tlaps/"
, "/usr/local/lib/tlaps" >>
zenon == "PATH='/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/local/lib/tlaps/bin'; zenon -p0 -x tla -oisar -max-time 1d "$file""
zenon version == "zenon version 0.8.4 [a268] 2017-11-14"
flatten_obligations == TRUE
normalize == TRUE

[kape1395]

Can you provide the tla file causing this?