From 487f370c58ccf15fbaa0b1ba13d930fa996b8cf2 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 18 Sep 2018 22:54:51 +0200
Subject: [PATCH] fixed getting the function identifier

---
 src/storm/storage/jani/JSONExporter.cpp                         | 2 +-
 .../storage/jani/traverser/FunctionCallExpressionFinder.cpp     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index 480b2cbe6..3e0093f5b 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -731,7 +731,7 @@ namespace storm {
         boost::any ExpressionToJson::visit(storm::expressions::FunctionCallExpression const& expression, boost::any const& data) {
             modernjson::json opDecl;
             opDecl["op"] = "call";
-            opDecl["function"] = expression.getIdentifier();
+            opDecl["function"] = expression.getFunctionIdentifier();
             std::vector<modernjson::json> arguments;
             for (uint64_t i = 0; i < expression.getNumberOfArguments(); ++i) {
                 arguments.push_back(boost::any_cast<modernjson::json>(expression.getArgument(i)->accept(*this, data)));
diff --git a/src/storm/storage/jani/traverser/FunctionCallExpressionFinder.cpp b/src/storm/storage/jani/traverser/FunctionCallExpressionFinder.cpp
index f9f8b22ac..b2e373dbd 100644
--- a/src/storm/storage/jani/traverser/FunctionCallExpressionFinder.cpp
+++ b/src/storm/storage/jani/traverser/FunctionCallExpressionFinder.cpp
@@ -85,7 +85,7 @@ namespace storm {
                 
                 virtual boost::any visit(storm::expressions::FunctionCallExpression const& expression, boost::any const& data) override {
                     auto& set = *boost::any_cast<std::unordered_set<std::string>*>(data);
-                    set.insert(expression.getIdentifier());
+                    set.insert(expression.getFunctionIdentifier());
                     for (uint64_t i = 0; i < expression.getNumberOfArguments(); ++i) {
                         expression.getArgument(i)->accept(*this, data);
                     }