diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-04 14:55:36 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-04 14:55:36 -0400 |
| commit | 221615de9d28d6fa768ef3ce28483ed90d2aab6c (patch) | |
| tree | bd8687846d60efcadac3d2e06f77bdabedbec0b5 /include | |
| parent | cfcc0c0553a13a83cf674b00828c89b6f9459936 (diff) | |
spawn
Diffstat (limited to 'include')
| -rw-r--r-- | include/urweb.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/urweb.h b/include/urweb.h index daf965b0..4e0992fd 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -49,7 +49,7 @@ uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string); uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string); void uw_set_script_header(uw_context, const char*); -const char *uw_Basis_get_settings(uw_context, uw_Basis_string); +const char *uw_Basis_get_settings(uw_context, uw_unit); const char *uw_Basis_get_script(uw_context, uw_unit); void uw_set_needs_push(uw_context, int); |