aboutsummaryrefslogtreecommitdiffstats
path: root/Visitor/Interpreter.php
diff options
context:
space:
mode:
Diffstat (limited to 'Visitor/Interpreter.php')
-rw-r--r--Visitor/Interpreter.php15
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;