@@ -821,7 +821,7 @@ process fn (Undefine names) = undefine names
821 -- Keep track of which names you've removed so you can
821 -- Keep track of which names you've removed so you can
822 -- print them out to the user afterward
822 -- print them out to the user afterward
823 undefine names = undefine' names []
823 undefine names = undefine' names []
824− undefine' [] list = do iRenderOutput $ printUndefinedNames list
824+ undefine' [] list = do iRenderResult $ printUndefinedNames list
825 return ()
825 return ()
826 undefine' (n:names) already = do
826 undefine' (n:names) already = do
827 allDefined <- idris_repl_defs `fmap` get
827 allDefined <- idris_repl_defs `fmap` get