diff --git a/liberty/LibertyParser.cc b/liberty/LibertyParser.cc index 14f6582b..693964c4 100644 --- a/liberty/LibertyParser.cc +++ b/liberty/LibertyParser.cc @@ -546,8 +546,11 @@ libertyIncludeBegin(const char *filename) liberty_filename = filename; liberty_line = 1; } - else - libertyParseError("cannot open include file %s.", filename); + else { + string file(filename); + stringDelete(filename); + libertyParseError("cannot open include file %s.", file.c_str()); + } } void