aboutsummaryrefslogtreecommitdiffstats
path: root/Praspel.php
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-04 17:12:42 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-04 17:12:42 +0100
commit83a079cefe50c68888f28e48da5f6955b4e5981e (patch)
treeec276ab9f128c42bf25c6cd7ed7b0c203486e18c /Praspel.php
parent5c1a85b17a198f6be65908e3438d6e2977cc0e4a (diff)
downloadPraspel-83a079cefe50c68888f28e48da5f6955b4e5981e.zip
Praspel-83a079cefe50c68888f28e48da5f6955b4e5981e.tar.gz
Praspel-83a079cefe50c68888f28e48da5f6955b4e5981e.tar.bz2
Avoid a misuse of a variable.
Diffstat (limited to 'Praspel.php')
-rw-r--r--Praspel.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/Praspel.php b/Praspel.php
index 01f5863..553e0e4 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -539,7 +539,7 @@ class Praspel {
if(false === $_verdict && true === $realdom->predicate($datum))
$_verdict = true;
- else
+ elseif(null !== $traceClause)
unset($traceVariableDomains[$i--]);
++$i;