@@ -56,7 +56,7 @@ getEnvironment = getAllPairs 0 []
5656exit : Int -> IO ()
5757exit code = foreign FFI_C "exit" (Int -> IO ()) code
5858
59−||| Get the numbers of sections since 1st January 1970, 00:00 UTC
59+||| Get the numbers of seconds since 1st January 1970, 00:00 UTC
6060time : IO Integer
6161time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
6262 return t