Agda-2.3.2.2: test/fail/PropNoMore.agda

-- Prop has been removed from the language
module PropNoMore where

postulate
  X : Prop