Commit 207091ec authored by Christian Fuß's avatar Christian Fuß

adjusted code to deal with changes in UnrollSymbol

parent d497e7a6
Pipeline #174379 failed with stages
in 2 minutes and 52 seconds