diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 16cabeb891f61b83fe6105ab31f4930185c8ab8b..1d8a9208391e7bce7b9a3987f8e85655d89bd5a4 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -674,7 +674,8 @@ simpl_loop n implics
   | n > 10 
   = traceTcS "solveWanteds: loop!" empty >> return implics
   | otherwise 
-  = do { (floated_eqs, unsolved_implics) <- solveNestedImplications implics
+  = do { traceTcS "simpl_loop, iteration" (int n)
+       ; (floated_eqs, unsolved_implics) <- solveNestedImplications implics
        ; if isEmptyBag floated_eqs 
          then return unsolved_implics 
          else