Agda-2.3.2.2: test/fail/Issue481.agda
-- Andreas, 2012-10-18 module Issue481 where as = Set open import Common.Issue481ParametrizedModule as as -- as clause open import Common.Issue481ParametrizedModule as as as -- as clause, duplicate def.
-- Andreas, 2012-10-18 module Issue481 where as = Set open import Common.Issue481ParametrizedModule as as -- as clause open import Common.Issue481ParametrizedModule as as as -- as clause, duplicate def.