From ec060a59b274b9a8d0a0ea012c14c48eb6b5d06a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 15 Dec 2016 00:23:42 +0100
Subject: [PATCH] Fixed warnings

---
 src/storm-dft/storage/dft/elements/DFTPand.h | 2 +-
 src/storm-dft/storage/dft/elements/DFTPor.h  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-dft/storage/dft/elements/DFTPand.h b/src/storm-dft/storage/dft/elements/DFTPand.h
index d89e357b1..9879b8c31 100644
--- a/src/storm-dft/storage/dft/elements/DFTPand.h
+++ b/src/storm-dft/storage/dft/elements/DFTPand.h
@@ -50,7 +50,7 @@ namespace storm {
             }
             
             std::string typestring() const override {
-                return "PAND" + inclusive ? "" : "-ex";
+                return inclusive ? "PAND" : "PAND-ex";
             }
         protected:
             bool inclusive;
diff --git a/src/storm-dft/storage/dft/elements/DFTPor.h b/src/storm-dft/storage/dft/elements/DFTPor.h
index 3adaf16fc..7fd168b33 100644
--- a/src/storm-dft/storage/dft/elements/DFTPor.h
+++ b/src/storm-dft/storage/dft/elements/DFTPor.h
@@ -42,7 +42,7 @@ namespace storm {
             }
             
             std::string  typestring() const override {
-                return "POR" + inclusive ? "" : "-ex";
+                return inclusive ? "POR" : "POR-ex";
             }
             
             bool isInclusive() {