tamarin-prover-utils-0.1.0.0: src/Debug/Trace/Ignore.hs
-- |
-- Copyright : (c) 2011 Benedikt Schmidt
-- License : GPL v3 (see LICENSE)
--
-- Maintainer : Benedikt Schmidt <beschmi@gmail.com>
--
-- Module that can be imported to ignore calls to @trace@.
module Debug.Trace.Ignore (
trace
) where
-- | @trace a b@ returns the second argument.
trace :: a -> b -> b
trace = flip const