We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a15b75f commit 69bef76Copy full SHA for 69bef76
src/goto-programs/resolve_inherited_component.cpp
@@ -40,7 +40,7 @@ resolve_inherited_componentt::resolve_inherited_componentt(
40
/// \param class_id: The name of the class the function is being called on
41
/// \param component_name: The base name of the component (i.e. without the
42
/// class specifier)
43
-/// \param include_interfaces: If true, consider inheritence from interfaces
+/// \param include_interfaces: If true, consider inheritance from interfaces
44
/// (parent types other than the first listed)
45
/// \return The concrete component that has been resolved
46
resolve_inherited_componentt::inherited_componentt
0 commit comments