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 569c854 commit 59b1a9eCopy full SHA for 59b1a9e
src/goto-programs/class_identifier.cpp
@@ -77,7 +77,7 @@ exprt get_class_identifier_field(
77
/// \remarks Follows through base class members until it gets to the object
78
/// type that contains the `@class_identifier` member
79
/// \param expr: An expression that represents a struct
80
-/// \param ns: The namespace used to resolve symbol referencess in the type of
+/// \param ns: The namespace used to resolve symbol references in the type of
81
/// the struct
82
/// \param class_type: A symbol whose identifier is the name of the class
83
void set_class_identifier(
0 commit comments