Skip to content

Commit d050b3c

Browse files
Fix typos in doxygen
1 parent 6ca3272 commit d050b3c

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/java_bytecode/java_object_factory.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1512,7 +1512,7 @@ exprt object_factory(
15121512
return object;
15131513
}
15141514

1515-
/// Initializes a primitive-typed or referece-typed object tree rooted at
1515+
/// Initializes a primitive-typed or reference-typed object tree rooted at
15161516
/// `expr`, allocating child objects as necessary and nondet-initializing their
15171517
/// members, or if MAY_ or MUST_UPDATE_IN_PLACE is set, re-initializing
15181518
/// already-allocated objects.

src/java_bytecode/java_types.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -256,7 +256,7 @@ std::string erase_type_arguments(const std::string &src)
256256
/// Returns the full class name, skipping over the generics.
257257
/// \param src: a type descriptor or signature
258258
/// 1. Signature: Lcom/package/OuterClass<TT;>.Inner;
259-
/// 2. Descriptor: Lcom.pacakge.OuterClass$Inner;
259+
/// 2. Descriptor: Lcom.package.OuterClass$Inner;
260260
/// \return The full name of the class like com.package.OuterClass.Inner (for
261261
/// both examples).
262262
std::string gather_full_class_name(const std::string &src)

0 commit comments

Comments
 (0)