diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-10-14 11:35:56 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-10-14 11:35:56 -0400 |
commit | cfffcb997d0345f90444725248c7c85b035c30b4 (patch) | |
tree | 3e839cc2566526f3e4a294229c41f88e60e8d24e /include | |
parent | 7bf0a0124a6c8a834983a660af53d8789ac0a8ac (diff) |
-limit for running time
Diffstat (limited to 'include')
-rw-r--r-- | include/urweb.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h index 3f5bf285..e9e330b8 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -284,4 +284,6 @@ void uw_set_client_data(uw_context, void *); uw_Basis_int uw_Basis_rand(uw_context); +extern int uw_time_max; + #endif |