on master help sign in
Merge pull request #3115 from jfdm/fix-error-reporting

Fixed wrong error reporting values.

commit6d20e4207ddba3ff62ec03f08f9b9faa1358201c authorAhmad Salim Al-Sibahi <asal@itu.dk> dateThu 14 Apr 2016, 13:55 (11 years ago) parent1cd27e6c80c51e
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