@@ -140,7 +140,7 @@ repl orig mods
140140 showM c thm n = if c then colouriseFun thm (show n)
141141 else show n
142142
143−-- | Run the REPL seDver
143+-- | Run the REPL server
144144startServer :: PortID -> IState -> [FilePath] -> Idris ()
145145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
146146 return ()