From 4eb2a196fa24d52462f3f325d73952fe2d1c12cd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 11 Jan 2011 18:04:52 -0500 Subject: Some more string parsing functions; naughtyDebug --- include/urweb.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/urweb.h b/include/urweb.h index 49281ac1..6fceeb50 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -291,6 +291,7 @@ void uw_set_deadline(uw_context, int); 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 *); -- cgit v1.2.3