Skip to content

Commit 86687f7

Browse files
Fix typos in doxygen
1 parent f2ec10e commit 86687f7

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

jbmc/src/java_bytecode/java_object_factory.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -1538,7 +1538,7 @@ exprt object_factory(
15381538
return object;
15391539
}
15401540

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

jbmc/src/java_bytecode/java_types.cpp

+1-1
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)