logic-TPTP-0.6.0.0: Util.hs

{-# LANGUAGE ScopedTypeVariables, CPP #-}
{-# OPTIONS -Wall #-}

module Util where

#ifndef MIN_VERSION_base
#define MIN_VERSION_base(X,Y,Z) 1
#endif