Correcting spelling

thk123 · thk123 · commit 0ad10c0d0340 · 2018-06-13T09:32:38.000+01:00
diff --git a/jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp b/jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp
@@ -46,7 +46,7 @@ bool ci_lazy_methods_neededt::add_needed_class(
 }
 
 /// Add to the needed classes all class specified, the replacement type if it
-/// will be replaced, and all feilds it contains.
+/// will be replaced, and all fields it contains.
 /// \param pointer_type: The type to add
 void ci_lazy_methods_neededt::add_all_needed_classes(const pointer_typet &pointer_type)
 {

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ bool ci_lazy_methods_neededt::add_needed_class(`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`/// Add to the needed classes all class specified, the replacement type if it`
`49`		`-/// will be replaced, and all feilds it contains.`
	`49`	`+/// will be replaced, and all fields it contains.`
`50`	`50`	`/// \param pointer_type: The type to add`
`51`	`51`	`void ci_lazy_methods_neededt::add_all_needed_classes(const pointer_typet &pointer_type)`
`52`	`52`	`{`