From 8e92d1a44b41d3d7e63b099f44c52111a58a7fa2 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 29 Aug 2017 11:46:12 +0200
Subject: [PATCH] fixed typo

---
 src/storm/parser/DirectEncodingParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/parser/DirectEncodingParser.cpp b/src/storm/parser/DirectEncodingParser.cpp
index e6743e941..dff98b513 100644
--- a/src/storm/parser/DirectEncodingParser.cpp
+++ b/src/storm/parser/DirectEncodingParser.cpp
@@ -158,7 +158,7 @@ namespace storm {
                             if (boost::starts_with(line, "{")) {
                                 size_t posEndObservation = line.find("}");
                                 std::string observation = line.substr(1, posEndObservation-1);
-                                STORM_LOG_TRACE("State observation " << observations);
+                                STORM_LOG_TRACE("State observation " << observation);
                                 modelComponents->observabilityClasses.get()[state] = std::stoi(observation);
                                 line = line.substr(posEndObservation+1);
                             } else {