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