shadowGlobal.err

MiniAgda by Andreas Abel and Karl Mehltretter
--- opening "shadowGlobal.ma" ---
--- scope checking ---
scope check error: "shadowing of global definitions forbidden": Identifier bla already in signature