diff options
-rw-r--r-- | 020run.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/020run.cc b/020run.cc index 0fe8eba3..e90cf05a 100644 --- a/020run.cc +++ b/020run.cc @@ -210,12 +210,10 @@ void load_permanently(string filename) { return; } ifstream fin(filename.c_str()); - fin.peek(); if (!fin) { raise_error << "no such file " << filename << '\n' << end(); return; } - fin >> std::noskipws; trace(9990, "load") << "=== " << filename << end(); load(fin); fin.close(); |