diff include/urweb.h @ 1389:9a721f0722d3

Some more string parsing functions; naughtyDebug
author Adam Chlipala <adam@chlipala.net>
date Tue, 11 Jan 2011 18:04:52 -0500
parents 3913cbfd72e9
children 65fbb250b875
line wrap: on
line diff
--- a/include/urweb.h	Tue Jan 11 14:03:54 2011 -0500
+++ b/include/urweb.h	Tue Jan 11 18:04:52 2011 -0500
@@ -291,6 +291,7 @@
 void uw_check_deadline(uw_context);
 
 uw_Basis_unit uw_Basis_debug(uw_context, uw_Basis_string);
+uw_Basis_int uw_Basis_naughtyDebug(uw_context, uw_Basis_string);
 
 void uw_set_client_data(uw_context, void *);