From 30cfa1b45e77b31e0b5e554fca6fd0f7c9dd1ddc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sun, 12 Jun 2016 22:58:17 +0200
Subject: [PATCH] Fixes lambda issue with gcc.

---
 src/plasp/pddl/TranslatorASP.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index ca9f7e2..59d842f 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -177,7 +177,7 @@ void TranslatorASP::translatePredicates() const
 
 			m_ostream << "predicate(" << predicate->name();
 
-			translateVariables(predicate->arguments());
+			this->translateVariables(predicate->arguments());
 
 			m_ostream << ").";
 		});
@@ -200,7 +200,7 @@ void TranslatorASP::translateActions() const
 
 			m_ostream << "action(" << action->name();
 
-			translateVariables(action->parameters());
+			this->translateVariables(action->parameters());
 
 			m_ostream << ").";
 		});