summaryrefslogtreecommitdiff
path: root/compiler/iface/ToIface.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/iface/ToIface.hs-boot')
-rw-r--r--compiler/iface/ToIface.hs-boot2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/ToIface.hs-boot b/compiler/iface/ToIface.hs-boot
index e2431b82dc..cdb472692e 100644
--- a/compiler/iface/ToIface.hs-boot
+++ b/compiler/iface/ToIface.hs-boot
@@ -13,4 +13,4 @@ toIfaceTyLit :: TyLit -> IfaceTyLit
toIfaceForAllBndr :: TyVarBinder -> IfaceForAllBndr
toIfaceTyCon :: TyCon -> IfaceTyCon
toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs
-toIfaceCoercion :: Coercion -> IfaceCoercion
+toIfaceCoercionX :: VarSet -> Coercion -> IfaceCoercion