MiniAgda-0.2022.3.11: test/should-succeed/Umlaut.err

MiniAgda by Andreas Abel and Karl Mehltretter
--- opening "Umlaut.ma" ---
--- scope checking ---