diff include/urweb.h @ 1085:ae885ad70d83

Updating the manual
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 09:56:09 -0500
parents 2eb585274501
children db52c32dbe42
line wrap: on
line diff
--- a/include/urweb.h	Wed Dec 23 14:27:12 2009 -0500
+++ b/include/urweb.h	Thu Dec 24 09:56:09 2009 -0500
@@ -232,7 +232,7 @@
 extern char *uw_sqlfmtUint4;
 
 void *uw_get_global(uw_context, char *name);
-void uw_set_global(uw_context, char *name, void *data, void (*free)(void*));
+void uw_set_global(uw_context, char *name, void *data, uw_callback free);
 
 uw_Basis_bool uw_Basis_isalnum(uw_context, uw_Basis_char);
 uw_Basis_bool uw_Basis_isalpha(uw_context, uw_Basis_char);