diff options
author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-06-07 18:24:59 +0200 |
---|---|---|
committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-06-07 18:24:59 +0200 |
commit | 7dc37050c60678f7bb6248a3d9b8fd341988c521 (patch) | |
tree | 31ae1ff9a68f0e4410485b81b4f68b08ab6cebcd /Visitor | |
parent | ff53d8026f158e008860c9946e58cd58588c1d18 (diff) | |
download | Praspel-7dc37050c60678f7bb6248a3d9b8fd341988c521.zip Praspel-7dc37050c60678f7bb6248a3d9b8fd341988c521.tar.gz Praspel-7dc37050c60678f7bb6248a3d9b8fd341988c521.tar.bz2 |
Move leading space when visiting only a variable.
Diffstat (limited to 'Visitor')
-rw-r--r-- | Visitor/Praspel.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php index 5bee7d8..b2c0da6 100644 --- a/Visitor/Praspel.php +++ b/Visitor/Praspel.php @@ -113,7 +113,7 @@ class Praspel implements \Hoa\Visitor\Visit { $oout = array(); foreach($element as $name => $var) - $oout[] = $var->accept($this, $handle, $eldnah); + $oout[] = ' ' . $var->accept($this, $handle, $eldnah); foreach($element->getPredicates() as $predicate) $oout[] = ' \pred(\'' . $predicate . '\')'; @@ -125,9 +125,9 @@ class Praspel implements \Hoa\Visitor\Visit { $name = $element->getName(); if(true === $element->isLocal()) - $out = ' let'; + $out = 'let '; - $out .= ' ' . $name; + $out .= $name; if(null === $alias = $element->getAlias()) $out .= ': ' . $element->getDomains()->toPraspel(); |