X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FIfaceType.lhs;h=7817b423aeb84de8ecc3fcb2960304a2edb6c764;hp=2f70e82b568754ba7e82679ae689c3bc9572040e;hb=86add45dbfb6f962b65e371143dd467ae783f9e7;hpb=fdf8656855d26105ff36bdd24d41827b05037b91

diff --git a/compiler/iface/IfaceType.lhs b/compiler/iface/IfaceType.lhs
index 2f70e82..7817b42 100644
--- 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)