From 583ec78eef9e20dccec916e001e8960d4a751d98 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 14 Jun 2016 17:06:07 +0200
Subject: [PATCH] Removed deleted methods.

---
 include/plasp/pddl/TranslatorASP.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/plasp/pddl/TranslatorASP.h b/include/plasp/pddl/TranslatorASP.h
index ab9102a..b066147 100644
--- a/include/plasp/pddl/TranslatorASP.h
+++ b/include/plasp/pddl/TranslatorASP.h
@@ -41,8 +41,6 @@ class TranslatorASP
 
 		void printHeading1(const std::string &heading) const;
 		void printHeading2(const std::string &heading) const;
-		void printKeyword(const std::string &keyword) const;
-		void printVariable(const std::string &variable) const;
 
 		const Description &m_description;
 		utils::LogStream &m_outputStream;