Skip to content

Commit 4331c99

Browse files
author
Owen
committed
Replace backtick with single quote
This changes the error message from failed to load class `java.nio.file.Path' to failed to load class 'java.nio.file.Path'
1 parent c7d2ef2 commit 4331c99

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

jbmc/src/java_bytecode/java_class_loader.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -176,7 +176,7 @@ java_class_loadert::get_parse_tree(
176176
return parse_trees;
177177

178178
// Not found or failed to load
179-
warning() << "failed to load class `" << class_name << '\'' << eom;
179+
warning() << "failed to load class \'" << class_name << '\'' << eom;
180180
parse_trees.emplace_back(class_name);
181181
return parse_trees;
182182
}

0 commit comments

Comments
 (0)