Mercurial > urweb

diff lib/ur/basis.urs @ 1369:1a78ca089bd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Expose buffer type for other C libraries; replace minusSeconds with addSeconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:52:56 -0500
parents 02fc16faecf3
children 44a12a321150
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Dec 26 11:13:37 2010 -0500
+++ b/lib/ur/basis.urs	Sun Dec 26 15:52:56 2010 -0500
@@ -142,7 +142,7 @@
 
 val now : transaction time
 val minTime : time
-val minusSeconds : time -> int -> time
+val addSeconds : time -> int -> time
 val timef : string -> time -> string (* Uses strftime() format string *)