Skip to content
Snippets Groups Projects
Unverified Commit 19820820 authored by Alexander Reinauer's avatar Alexander Reinauer
Browse files

Fix new_merged for AssignmentCollections 

by first substituting the rhs with newly introduced symbols before comparint the rhs
parent 9f3d3dd4
No related branches found
No related tags found
No related merge requests found
Pipeline #65168 failed
Stage: pretest
Stage: test
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment