Merge remote branch 'origin/master'

[ghc-hetmet.git] / compiler / iface / IfaceType.lhs

diff --git a/compiler/iface/IfaceType.lhs b/compiler/iface/IfaceType.lhs
index 2f70e82..7817b42 100644 (file)
--- a/compiler/iface/IfaceType.lhs
+++ b/compiler/iface/IfaceType.lhs
@@ -408,7 +408,6 @@ coToIfaceType (AppCo co1 co2)       = IfaceAppTy    (coToIfaceType co1)
                                                     (coToIfaceType co2)
 coToIfaceType (ForAllCo v co)       = IfaceForAllTy (toIfaceTvBndr v) 
                                                     (coToIfaceType co)
-coToIfaceType (PredCo pco)          = IfacePredTy (toIfacePred coToIfaceType pco)
 coToIfaceType (CoVarCo cv)          = IfaceTyVar  (toIfaceTyCoVar cv)
 coToIfaceType (AxiomInstCo con cos) = IfaceCoConApp (IfaceCoAx (coAxiomName con))
                                                     (map coToIfaceType cos)