Skip to content

Commit 680ddef

Browse files
Add missing namespace argument to apply
This would not compile when USE_UPDATE is activated.
1 parent 0bbe3e1 commit 680ddef

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/goto-symex/symex_assign.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -182,7 +182,7 @@ static assignmentt rewrite_with_to_field_symbols(
182182
update.new_value().type());
183183
}
184184

185-
state.field_sensitivity.apply(state, field_sensitive_lhs, true);
185+
state.field_sensitivity.apply(ns, state, field_sensitive_lhs, true);
186186

187187
if(field_sensitive_lhs.id() != ID_symbol)
188188
break;

0 commit comments

Comments
 (0)