diff src/monoize.sml @ 490:366676f7bc88

More ThreadedBlog progress
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 16:27:51 -0500
parents 20fab0e96217
children ae03d09043c1
line wrap: on
line diff
--- a/src/monoize.sml	Tue Nov 11 15:32:10 2008 -0500
+++ b/src/monoize.sml	Tue Nov 11 16:27:51 2008 -0500
@@ -406,7 +406,7 @@
                          fm)
                     end
 
-                  | _ => (E.errorAt loc "Don't know how to encode attribute type";
+                  | _ => (E.errorAt loc "Don't know how to encode attribute/URL type";
                           Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty tAll)];
                           (dummyExp, fm))
     in