aboutsummaryrefslogtreecommitdiffstats
path: root/Model
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 /Model
parentb6b2a38e442ed64ac8ea6b0edeb1638e4caa1ef9 (diff)
downloadPraspel-7219b89590d9da200b70ab73cda951da21b6534e.zip
Praspel-7219b89590d9da200b70ab73cda951da21b6534e.tar.gz
Praspel-7219b89590d9da200b70ab73cda951da21b6534e.tar.bz2
A @behavior cannot have an @invariant clause.
Diffstat (limited to 'Model')
-rw-r--r--Model/Behavior.php1
1 files changed, 0 insertions, 1 deletions
diff --git a/Model/Behavior.php b/Model/Behavior.php
index 26bc5a1..bfb92a3 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -120,7 +120,6 @@ class Behavior extends Clause {
'requires',
'ensures',
'throwable',
- 'invariant',
'behavior',
'default'
);