diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/sail.ott b/language/sail.ott index 7dbd3c9e..a47f3f9f 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -773,7 +773,7 @@ rec_opt :: 'Rec_' ::= effect_opt :: 'Effect_opt_' ::= {{ com optional effect annotation for functions }} {{ aux _ l }} - | :: :: pure {{ com sugar for empty effect set }} + | :: :: none {{ com no effect annotation }} | effectkw effect :: :: effect % Generate a pexp, but from slightly different syntax (= rather than ->) |