HomeIsabelle/Phabricator

clarified error: tmp file can be invalid in odd situations;

Authored by makarius.

Description

clarified error: tmp file can be invalid in odd situations;

Details

Committed
makariusNov 23 2019, 11:36 AM
Parents
rISABELLEf2d848a596d1: more robust: file length can be invalid in odd situations;
Branches
Unknown
Tags
Unknown