We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c7d2ef2 commit 4331c99Copy full SHA for 4331c99
jbmc/src/java_bytecode/java_class_loader.cpp
@@ -176,7 +176,7 @@ java_class_loadert::get_parse_tree(
176
return parse_trees;
177
178
// Not found or failed to load
179
- warning() << "failed to load class `" << class_name << '\'' << eom;
+ warning() << "failed to load class \'" << class_name << '\'' << eom;
180
parse_trees.emplace_back(class_name);
181
182
}
0 commit comments