Skip to content

Commit bb54d77

Browse files
fixup! Make char_equals_ignore_case, to_integer_or_default static
1 parent c153404 commit bb54d77

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

src/solvers/refinement/string_constraint_generator_comparison.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -85,11 +85,11 @@ std::pair<exprt, string_constraintst> add_axioms_for_equals(
8585
/// \param char_Z: constant character 'Z'
8686
/// \return a expression of Boolean type
8787
static exprt character_equals_ignore_case(
88-
exprt char1,
89-
exprt char2,
90-
exprt char_a,
91-
exprt char_A,
92-
exprt char_Z)
88+
const exprt &char1,
89+
const exprt &char2,
90+
const exprt &char_a,
91+
const exprt &char_A,
92+
const exprt &char_Z)
9393
{
9494
const and_exprt is_upper_case_1(
9595
binary_relation_exprt(char_A, ID_le, char1),

0 commit comments

Comments
 (0)