diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-04-16 14:24:28 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-04-16 14:24:28 +0200 |
| commit | d7686611a91db048f43c0be3b4ffec295de6c623 (patch) | |
| tree | cae6aafd195aacd55fddd50d01d7dee2521a7eca /Model/Behavior.php | |
| parent | 453e6fcdd3bab20a8b93ffac624ddacef55c90d8 (diff) | |
| download | Praspel-d7686611a91db048f43c0be3b4ffec295de6c623.zip Praspel-d7686611a91db048f43c0be3b4ffec295de6c623.tar.gz Praspel-d7686611a91db048f43c0be3b4ffec295de6c623.tar.bz2 | |
Rename @forexample to @description.
The @forexample has already a semantics defined in JML. Our @forexample
clause has a complete different semantics. In order to avoid confusion,
we rename it.
Diffstat (limited to 'Model/Behavior.php')
| -rw-r--r-- | Model/Behavior.php | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Model/Behavior.php b/Model/Behavior.php index 3ce3604..c31da7f 100644 --- a/Model/Behavior.php +++ b/Model/Behavior.php @@ -66,12 +66,7 @@ from('Hoa') /** * \Hoa\Praspel\Model\Invariant */ --> import('Praspel.Model.Invariant') - -/** - * \Hoa\Praspel\Model\Forexample - */ --> import('Praspel.Model.Forexample'); +-> import('Praspel.Model.Invariant'); } |