Commit 0671cb48 authored by Ralf Jung's avatar Ralf Jung

solve_proper: Do not enforce unfolding the head symbol

It is sometimes not desirable to do so.
parent 52b68900
Pipeline #3954 passed with stage
in 5 minutes and 19 seconds