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 0977d227..f3c6ed40 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -908,7 +908,7 @@ alias_spec :: 'AL_' ::= dec_spec :: 'DEC_' ::= {{ com register declarations }} {{ aux _ annot }} {{ auxparam 'a }} - | register typ id :: :: reg + | register effect effect' typ id :: :: reg | register configuration id : typ = exp :: :: config | register alias id = alias_spec :: :: alias | register alias typ id = alias_spec :: :: typ_alias |