Skip to content

Commit 674fce3

Browse files
Missing static keyword
No functional changes
1 parent da454ce commit 674fce3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

jbmc/src/java_bytecode/assignments_from_json.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -99,7 +99,7 @@ has_enum_type(const exprt &expr, const symbol_table_baset &symbol_table)
9999
/// \param declaring_class_type: type of the class where \p expr is declared.
100100
/// \return `true` if \p expr has an enum type and is declared within the
101101
/// definition of that same type, `false` otherwise.
102-
bool is_enum_with_type_equal_to_declaring_type(
102+
static bool is_enum_with_type_equal_to_declaring_type(
103103
const exprt &expr,
104104
const symbol_table_baset &symbol_table,
105105
const java_class_typet &declaring_class_type)

0 commit comments

Comments
 (0)