aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-06-13 01:24:55 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-06-13 01:24:55 +0200
commit7219b89590d9da200b70ab73cda951da21b6534e (patch)
tree60c2b61a6040f94ab6d43b6a635d0c4838908286 /Grammar.pp
parentb6b2a38e442ed64ac8ea6b0edeb1638e4caa1ef9 (diff)
downloadPraspel-7219b89590d9da200b70ab73cda951da21b6534e.zip
Praspel-7219b89590d9da200b70ab73cda951da21b6534e.tar.gz
Praspel-7219b89590d9da200b70ab73cda951da21b6534e.tar.bz2
A @behavior cannot have an @invariant clause.
Diffstat (limited to 'Grammar.pp')
-rw-r--r--Grammar.pp1
1 files changed, 0 insertions, 1 deletions
diff --git a/Grammar.pp b/Grammar.pp
index 62cfaf7..eff897a 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -156,7 +156,6 @@ behavior_content:
requires()
| ensures()
| throwable()
- | invariant()
)
::semicolon::+
| ( behavior() ::semicolon::* )+ default()? ::semicolon::*