@@ -655,7 +655,6 @@ process h fn (DebugInfo n)
655655 let d = lookupDef n (tt_ctxt i)
656656 when (not (null d)) $ iputStrLn $ "Definition: " ++ (show (head d))
657657 let cg = lookupCtxtName n (idris_callgraph i)
658− -- findUnusedArgs (map fst cg) -- TODO: fix this here, do we need this info?
659658 i <- getIState
660659 let cg' = lookupCtxtName n (idris_callgraph i)
661660 sc <- checkSizeChange n