diff options
author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-01 17:28:22 +0100 |
---|---|---|
committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-01 17:28:22 +0100 |
commit | 54347f293364605e95c44a5883ce1d9d07f9c3ff (patch) | |
tree | 8f7b793a7a2c8a6d9b83388d609b58ce88d09fea /Model/DefaultBehavior.php | |
parent | 49a2f3b0bf8c9cd99dccd5380621651ce9fa93f1 (diff) | |
download | Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.zip Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.tar.gz Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.tar.bz2 |
Reorder allowed clause for the Praspel visitor.
Diffstat (limited to 'Model/DefaultBehavior.php')
-rw-r--r-- | Model/DefaultBehavior.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php index 4f5600c..6493f0e 100644 --- a/Model/DefaultBehavior.php +++ b/Model/DefaultBehavior.php @@ -72,9 +72,9 @@ class DefaultBehavior extends Behavior { * @var \Hoa\Praspel\Model\DefaultBehavior array */ protected static $_allowedClauses = array( + 'invariant', 'ensures', - 'throwable', - 'invariant' + 'throwable' ); |