Agda-2.3.2.2: test/succeed/Issue728.agda

module Issue728 where

open import Common.MAlonzo using () renaming (main to mainDefault)

main = mainDefault