From 493b842cd26c5658eb05535152762b2bceb9b04e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 17 Jul 2013 10:40:13 -0400 Subject: Make that new error message text a bit more accurate --- src/effectize.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/effectize.sml') diff --git a/src/effectize.sml b/src/effectize.sml index 31cbe9ba..35de86c3 100644 --- a/src/effectize.sml +++ b/src/effectize.sml @@ -161,7 +161,7 @@ fun effectize file = () 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 -- cgit v1.2.3