comparison include/urweb.h @ 1120:74f2eb3b0606

Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -0500
parents 951fced704d6
children 0cee0c8d8c37
comparison
equal deleted inserted replaced
1119:951fced704d6 1120:74f2eb3b0606
268 extern int uw_time; 268 extern int uw_time;
269 269
270 void uw_set_deadline(uw_context, int); 270 void uw_set_deadline(uw_context, int);
271 void uw_check_deadline(uw_context); 271 void uw_check_deadline(uw_context);
272 272
273 uw_Basis_unit uw_Basis_debug(uw_context, uw_Basis_string);
274
273 #endif 275 #endif