-
Robert Ricci authored
errors in the ptop file immediately fatal - we were somehow getting into a state where the istream for the file was returning !eof, but reading data from it got only empty strings.
29ee2d04
errors in the ptop file immediately fatal - we were somehow getting into a state where the istream for the file was returning !eof, but reading data from it got only empty strings.