Fix effect annotation pretty-printing

There is also a bug for parsing effect annotations (in fundecl).
But for some reason, my fix for the parser does not work:
test/test2.sail still refuses to parse (chokes on "effect
pure"), even with "Effect" added to parser.mly.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/test/test2.sail b/src/test/test2.sail
index 24d82655..1418f990 100644
--- a/src/test/test2.sail
+++ b/src/test/test2.sail
@@ -1,5 +1,5 @@
 function nat id ( n ) = n
 
-function nat main _ = {
+function nat effect pure main _ = {
   id(42);
 }