--------------------------------------------------------------------------------
-- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
--------------------------------------------------------------------------------

{-# LANGUAGE Safe #-}

module Copilot
  {-# DEPRECATED "This module is deprecated." #-}
  ( module Copilot.Language
  ) where

import Copilot.Language

--------------------------------------------------------------------------------