diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-06-13 01:24:55 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-06-13 01:24:55 +0200 |
| commit | 7219b89590d9da200b70ab73cda951da21b6534e (patch) | |
| tree | 60c2b61a6040f94ab6d43b6a635d0c4838908286 /Model | |
| parent | b6b2a38e442ed64ac8ea6b0edeb1638e4caa1ef9 (diff) | |
| download | Praspel-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.php | 1 |
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' ); |