diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/sail.ott b/language/sail.ott index 59d51d68..c86f9a33 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -1038,6 +1038,8 @@ def :: 'DEF_' ::= | constraint id ( kid1 , ... , kidn ) = n_constraint :: :: constraint | fundef1 .. fundefn :: I :: internal_mutrec {{ com internal representation of mutually recursive functions }} + | $ string1 string2 l :: :: pragma + {{ com compiler directive }} defs :: '' ::= {{ com definition sequence }} |