@@ -126,7 +126,7 @@ buildTree built fp = btree [] fp
126 if exist then do
126 if exist then do
127 ibct <- runIO $ getModificationTime ibc
127 ibct <- runIO $ getModificationTime ibc
128 srct <- runIO $ getModificationTime src
128 srct <- runIO $ getModificationTime src
129− return (srct > ibct)
129+ return (srct >= ibct)
130 else return False
130 else return False
132 children :: Bool -> FilePath -> [FilePath] -> Idris [ModuleTree]
132 children :: Bool -> FilePath -> [FilePath] -> Idris [ModuleTree]