-- | We need Binary instances as they are used to serialize specs in LH... 
--
module Language.Fixpoint.Types.Binary where

import qualified Data.Binary as B

import Language.Fixpoint.Types as F