diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-23 08:48:41 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-23 08:53:23 -0800 |
| commit | ac2be5254592624c0ea9f82e019b21427688dcb0 (patch) | |
| tree | 8ac7e606bbdf09d908a5c2ab2d3040ffd3cca424 /020run.cc | |
| parent | 55fc43b78f6e00e8803c41d84ede0fde00b37f7a (diff) | |
| download | mu-ac2be5254592624c0ea9f82e019b21427688dcb0.tar.gz | |
2691
Diffstat (limited to '020run.cc')
| -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(); |