diff options
Diffstat (limited to 'Visitor/Interpreter.php')
| -rw-r--r-- | Visitor/Interpreter.php | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php index bf9a3d9..9d20411 100644 --- a/Visitor/Interpreter.php +++ b/Visitor/Interpreter.php @@ -332,16 +332,6 @@ class Interpreter implements \Hoa\Visitor\Visit { $argument = $child->accept($this, $handle, $eldnah); - if( $argument instanceof \Hoa\Praspel\Model\Variable\Borrowing - && $argument::TYPE_OLD === $argument->getType()) - $argument = new \Hoa\Realdom\Crate\Constant( - $argument->getBorrowedVariable(), - function ( ) use ( $argument ) { - - return $argument->getName(); - } - ); - if($argument instanceof \Hoa\Realdom\Disjunction) { $realdoms = $argument->getRealdoms(); @@ -464,10 +454,7 @@ class Interpreter implements \Hoa\Visitor\Visit { ')'; if(false !== $eldnah) - return $this->_clause->getVariable( - $value, - true - ); + return $this->_clause->getVariable($value); return $value; break; |