1 files changed, 4 insertions, 1 deletions
diff --git a/utils/filelib.h b/utils/filelib.h
index b9ea3940..4fa69760 100644
--- a/utils/filelib.h
+++ b/utils/filelib.h
@@ -75,7 +75,10 @@ class ReadFile : public BaseFile<std::istream> {
       }
     }
   }
-
+  void ReadAll(std::string& s) {
+    getline(*stream(), s, (char) EOF);
+    if (s.size() > 0) s.resize(s.size()-1);
+  }
 };
 
 class WriteFile : public BaseFile<std::ostream> {