From 86069b8552ee5f0fa1ba93c08b72090d0500c83d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 29 Jun 2018 21:58:30 +0200
Subject: [PATCH] fix typo in JSON exporter

---
 src/storm/storage/jani/JSONExporter.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index d41cf86af..41878b209 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -196,12 +196,12 @@ namespace storm {
             modernjson::json propertyInterval = constructPropertyInterval(lower, lowerExclusive, upper, upperExclusive);
 
             auto tbr = f.getTimeBoundReference();
-            if(tbr.isStepBound()) {
+            if (tbr.isStepBound()) {
                 opDecl["step-bounds"] = propertyInterval;
             } else if(tbr.isRewardBound()) {
-                opDecl["time-bounds"] = propertyInterval;
-            } else {
                 opDecl["reward-bounds"] = propertyInterval;
+            } else {
+                opDecl["time-bounds"] = propertyInterval;
             }
             return opDecl;
         }