From 9803710ff3597e24fd915d4d19cf0de10184a125 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 25 Oct 2017 19:00:54 +0200
Subject: [PATCH] Fixed typo.

---
 src/plasp/pddl/TranslatorASP.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index d51b740..7b17204 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -421,7 +421,7 @@ void TranslatorASP::translateProblem() const
 		translateConstants("objects", problem->objects);
 	}
 
-	// Initial State
+	// Initial state
 	m_outputStream << std::endl;
 	translateInitialState();