From db7cd221444afce64803e66594d56dc8e7a0843c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 10:44:26 -0400 Subject: Avoid any JavaScript when pages don't need it; update demo prose --- demo/metaform.urs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/metaform.urs') diff --git a/demo/metaform.urs b/demo/metaform.urs index 505cb906..0544e56b 100644 --- a/demo/metaform.urs +++ b/demo/metaform.urs @@ -1,7 +1,7 @@ functor Make (M : sig con fs :: {Unit} val fl : folder fs - val names : $(mapUT string fs) + val names : $(mapU string fs) end) : sig val main : unit -> transaction page end -- cgit v1.2.3