diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-27 09:43:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-27 09:43:09 -0400 |
| commit | 9b321dff16fd54f662fc9730b97d06afb6b28285 (patch) | |
| tree | 62a8fa9896b4310f97d319d0a64313afb032404e /include | |
| parent | 0e6213b7c363e1624c35921629c338dfee215353 (diff) | |
Ensure proper ordering of <script> execution, to bring identifiers into scope in time
Diffstat (limited to 'include')
| -rw-r--r-- | include/urweb.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/urweb.h b/include/urweb.h index 9cdc7e8a..c506985d 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -76,7 +76,6 @@ uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_source, uw_Basis_string) void uw_set_script_header(uw_context, const char*); char *uw_Basis_get_settings(uw_context, uw_unit); -char *uw_Basis_get_script(uw_context, uw_unit); char *uw_get_real_script(uw_context); uw_Basis_string uw_Basis_maybe_onload(uw_context, uw_Basis_string); |