From d84d202a0c08077e2b4ce106f171e51834ad08a7 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sun, 15 Jan 2017 20:03:25 +0100
Subject: [PATCH] removed spurious exception likely introduced in a merge

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

diff --git a/src/storm-gspn/parser/PnmlParser.cpp b/src/storm-gspn/parser/PnmlParser.cpp
index 2e15ee588..3dfd9e2a6 100644
--- a/src/storm-gspn/parser/PnmlParser.cpp
+++ b/src/storm-gspn/parser/PnmlParser.cpp
@@ -283,7 +283,7 @@ namespace storm {
                 STORM_PRINT_AND_LOG("unknown multiplicity (node=arc): " + id + "\n");
             }
 
-            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "No arc type specified for arc '" + id + "'");
+        
             if (type.second == "normal") {
                 builder.addNormalArc(source.second, target.second, multiplicity.second);
             } else if (type.second == "inhibition") {