comparison include/urweb.h @ 1308:714e8b84221b

-limit for running time
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Oct 2010 11:35:56 -0400
parents 929981850d9d
children add5ae41969e
comparison
equal deleted inserted replaced
1307:d2ad997ca157 1308:714e8b84221b
282 282
283 void uw_set_client_data(uw_context, void *); 283 void uw_set_client_data(uw_context, void *);
284 284
285 uw_Basis_int uw_Basis_rand(uw_context); 285 uw_Basis_int uw_Basis_rand(uw_context);
286 286
287 extern int uw_time_max;
288
287 #endif 289 #endif