From cfffcb997d0345f90444725248c7c85b035c30b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 14 Oct 2010 11:35:56 -0400
Subject: -limit for running time

---
 include/urweb.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'include')

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
-- 
cgit v1.2.3