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

--- opening "Umlaut.ma" ---
--- scope checking ---