Removed unused code

src/storm-gspn-cli/storm-gspn.cpp

@@ -125,25 +125,6 @@ int main(const int argc, const char **argv) {
 //        auto builder = storm::builder::ExplicitGspnModelBuilder<>();
 //        auto ma = builder.translateGspn(gspn, formula);
 //
-//        // write gspn into output file
-//        if (!outputFile.empty()) {
-//            std::ofstream file;
-//            file.open(outputFile);
-//            if (outputType == "pnml") {
-//                gspn.toPnml(file);
-//            }
-//            if (outputType == "pnpro") {
-//                gspn.toPnpro(file);
-//            }
-//            if (outputType == "dot") {
-//                gspn.writeDotToStream(file);
-//            }
-//            if (outputType == "ma") {
-//                ma.writeDotToStream(file);
-//            }
-//            file.close();
-//        }
-
         // All operations have now been performed, so we clean up everything and terminate.
         storm::utility::cleanUp();
         return 0;