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 e13d5a1 commit 9ae960fCopy full SHA for 9ae960f
jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp
@@ -46,7 +46,7 @@ bool ci_lazy_methods_neededt::add_needed_class(
46
}
47
48
/// Add to the needed classes all class specified, the replacement type if it
49
-/// will be replaced, and all feilds it contains.
+/// will be replaced, and all fields it contains.
50
/// \param pointer_type: The type to add
51
void ci_lazy_methods_neededt::add_all_needed_classes(
52
const pointer_typet &pointer_type)
0 commit comments