Mercurial > urweb

diff include/urweb.h @ 1308:714e8b84221b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-limit for running time
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Oct 2010 11:35:56 -0400
parents 929981850d9d
children add5ae41969e
line wrap: on
line diff
--- a/include/urweb.h	Thu Oct 14 11:06:26 2010 -0400
+++ b/include/urweb.h	Thu Oct 14 11:35:56 2010 -0400
@@ -284,4 +284,6 @@
 
 uw_Basis_int uw_Basis_rand(uw_context);
 
+extern int uw_time_max;
+
 #endif