Commit 7d5728cb authored by Andreas Marek's avatar Andreas Marek

Further unify REAL and COMPLEXCASE

parent d09941c3