diff --git a/src/plasp/pddl/InitialState.cpp b/src/plasp/pddl/InitialState.cpp
index de85ac0..352ebb2 100644
--- a/src/plasp/pddl/InitialState.cpp
+++ b/src/plasp/pddl/InitialState.cpp
@@ -82,5 +82,12 @@ std::unique_ptr<InitialState> InitialState::parseDeclaration(Context &context, c
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
+const Expressions &InitialState::facts() const
+{
+	return m_facts;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
 }
 }