diff --git a/src/storm-gspn-cli/storm-gspn.cpp b/src/storm-gspn-cli/storm-gspn.cpp index 021634fc1..602b353a0 100644 --- a/src/storm-gspn-cli/storm-gspn.cpp +++ b/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;