aboutsummaryrefslogtreecommitdiffstats
path: root/Model
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-16 09:28:20 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-16 09:28:20 +0200
commit603d5d719a763e070e85cb60cefd04274864de18 (patch)
tree636f92b4a7fb05f6fdc188160c19006e2172808a /Model
parent9b62517bfc05067b637a113133918562a2696766 (diff)
downloadPraspel-603d5d719a763e070e85cb60cefd04274864de18.zip
Praspel-603d5d719a763e070e85cb60cefd04274864de18.tar.gz
Praspel-603d5d719a763e070e85cb60cefd04274864de18.tar.bz2
Update an exception message.
Diffstat (limited to 'Model')
-rw-r--r--Model/Variable.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/Model/Variable.php b/Model/Variable.php
index b12cefa..866c867 100644
--- a/Model/Variable.php
+++ b/Model/Variable.php
@@ -167,7 +167,7 @@ class Variable
&& !($this->_clause instanceof Ensures))
throw new \Hoa\Praspel\Exception\Model(
'\old(…) and \result are only allowed in @ensures, ' .
- 'given %s in %s.',
+ 'given %s in @%s.',
0, array($name, $this->getClause()->getName()));
return;