Merge pull request #4592 from asifmallik/fixBackslashBugFinal

Fix backslash bug
This commit is contained in:
Alex Beregszaszi
2018-08-07 12:47:37 +01:00
committed by GitHub
2 changed files with 3 additions and 2 deletions
+2 -2
View File
@@ -424,7 +424,7 @@ bool CommandLineInterface::readInputFilesAndConfigureRemappings()
continue;
}
m_sourceCodes[infile.string()] = dev::readFileAsString(infile.string());
m_sourceCodes[infile.generic_string()] = dev::readFileAsString(infile.string());
path = boost::filesystem::canonical(infile).string();
}
m_allowedDirectories.push_back(boost::filesystem::path(path).remove_filename());
@@ -709,7 +709,7 @@ bool CommandLineInterface::processInput()
return ReadCallback::Result{false, "Not a valid file."};
auto contents = dev::readFileAsString(canonicalPath.string());
m_sourceCodes[path.string()] = contents;
m_sourceCodes[path.generic_string()] = contents;
return ReadCallback::Result{true, contents};
}
catch (Exception const& _exception)