From c6e641ffb3195827acbb2787bb202824fef0cfa6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 9 Dec 2013 15:47:14 -0500
Subject: Rename <activeHead> to <script> and make it work properly

---
 lib/ur/basis.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 66e65804..73cef3d2 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -782,7 +782,7 @@ val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] =
 val active : unit
              -> tag [Code = transaction xbody] body [] [] []
 
-val activeHead : unit
+val script : unit
              -> tag [Code = transaction unit] head [] [] []
 
 val head : unit -> tag [] html head [] []
-- 
cgit v1.2.3