X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=48258ed011b20c401c817266533d7233224900ae;hb=67ed735fab12c12a1d48878d7bda33588c67fb78;hp=d8be2d1178e6b97316aab36fe27bf3fd705c1717;hpb=5de363ca9ebdb7d85e3c353c1cffdf0a1c11128e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index d8be2d1..48258ed 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -405,7 +405,7 @@ simplifySuperClass self wanteds
        ; (unsolved, ev_binds) 
              <- runTcS SimplCheck emptyVarSet $
          	do { can_self <- canGivens loc [self]
-         	   ; let inert = foldlBag extendInertSet emptyInert can_self
+         	   ; let inert = foldlBag updInertSet emptyInert can_self
 	 	     -- No need for solveInteract; we know it's inert
 
 	 	   ; solveWanteds inert wanteds }