diff include/urweb.h @ 1728:95d3b4f26f59

Ensure proper ordering of <script> execution, to bring identifiers into scope in time
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Apr 2012 09:43:09 -0400
parents 225b87d4a7df
children
line wrap: on
line diff
--- a/include/urweb.h	Fri Apr 27 07:35:59 2012 -0400
+++ b/include/urweb.h	Fri Apr 27 09:43:09 2012 -0400
@@ -76,7 +76,6 @@
 
 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);