From c4daee27278ae99dd4d2cd0507f7ffc555d266f4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 27 Apr 2012 09:43:09 -0400
Subject: Ensure proper ordering of <script> execution, to bring identifiers
 into scope in time

---
 include/urweb.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'include')

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);
-- 
cgit v1.2.3