@@ -706,7 +706,7 @@ process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++
706 setReplDefined Nothing = return ()
706 setReplDefined Nothing = return ()
707 setReplDefined (Just n) = do
707 setReplDefined (Just n) = do
708 oldState <- get
708 oldState <- get
709− put oldState { idris_repl_defs = n : idris_repl_defs oldState }
709+ fmodifyState repl_definitions (n:)
711process h fn (Undefine names) = undefine names
711process h fn (Undefine names) = undefine names