diff src/effectize.sml @ 1859:38399d67a914

Make that new error message text a bit more accurate
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:40:13 -0400
parents 2a0b9603d8af
children d54984564bcd
line wrap: on
line diff
--- a/src/effectize.sml	Wed Jul 17 10:35:43 2013 -0400
+++ b/src/effectize.sml	Wed Jul 17 10:40:13 2013 -0400
@@ -161,7 +161,7 @@
                          ()
                      else
                          ErrorMsg.errorAt loc ("A handler (" ^ s
-                                               ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of its containing module");
+                                               ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of the main program module");
                  ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs))
               | DExport (Action _, n, _) =>
                 ((DExport (Action (if IM.inDomain (writers, n) then