readFileAsString(): Accept path as boost::filesystem::path instead of string

This commit is contained in:
Kamil Śliwak
2021-08-17 12:58:33 +02:00
parent 790d08f24b
commit cb1a0f08ca
9 changed files with 25 additions and 27 deletions
+1 -1
View File
@@ -430,7 +430,7 @@ bool CommandLineInterface::readInputFiles()
}
// NOTE: we ignore the FileNotFound exception as we manually check above
string fileContent = readFileAsString(infile.string());
string fileContent = readFileAsString(infile);
if (m_options.input.mode == InputMode::StandardJson)
{
solAssert(!m_standardJsonInput.has_value(), "");