Agda-2.4.0.2: src/full/Agda/ImpossibleTest.hs

{-# LANGUAGE CPP #-}

module Agda.ImpossibleTest where

#include "undefined.h"
import Agda.Utils.Impossible

impossibleTest = __IMPOSSIBLE__