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 508e921 commit 6396ca2Copy full SHA for 6396ca2
jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -650,8 +650,8 @@ static irep_idt get_if_cmp_operator(const irep_idt &stmt)
650
/// Build a member exprt for accessing a specific field that may come from a
651
/// base class.
652
/// \param pointer: The expression to access the field on.
653
-/// \param field_reference: A getfield/setfield instruction produced by the bytecode
654
-/// parser.
+/// \param field_reference: A getfield/setfield instruction produced by the
+/// bytecode parser.
655
/// \param ns: Global namespace
656
/// \return A member expression accessing the field, through base class
657
/// components if necessary.
0 commit comments