on master help sign in
Fixed wrong error reporting values.
commitc80c51ea64f25eb3d4c0b8c89522113f5ba17d85 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateWed 13 Apr 2016, 16:04 (11 years ago) parent1cd27e6
1 file changed+2−2
src/Idris/IBC.hs+2−2
src/Idris/IBC.hs+2−2
@@ -401,8 +401,8 @@ timestampOlder src ibc = do
401401 then ifail $ unlines [ "Module needs reloading:"
402402 , unwords ["\tSRC :", show src]
403403 , unwords ["\tModified at:", show srct]
404− , unwords ["\tIBC :", show src]
405− , unwords ["\tModified at:", show srct]
404+ , unwords ["\tIBC :", show ibc]
405+ , unwords ["\tModified at:", show ibct]
406406 ]
407407 else return ()
408408