diff lib/js/urweb.js @ 691:cc58941da3e2

Checking spans in dyns
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 11:46:24 -0400
parents 01b6f2ee2ef0
children 09df0c85f306
line wrap: on
line diff
--- a/lib/js/urweb.js	Thu Apr 02 15:12:06 2009 -0400
+++ b/lib/js/urweb.js	Sat Apr 04 11:46:24 2009 -0400
@@ -154,6 +154,10 @@
     throw "Can't parse float: " + s;
 }
 
+function cat(s1, s2) {
+  return s1 + s2;
+}
+
 function whine(msg) {
   alert(msg);
   throw msg;