From 134bba827f36ec3275261bd90ca4a9d478835b98 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 1 Feb 2018 19:21:53 +0100
Subject: [PATCH] Enabled smart GSPN transformation

---
 src/storm-dft-cli/storm-dft.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp
index 9948af256..21f3cfecc 100644
--- a/src/storm-dft-cli/storm-dft.cpp
+++ b/src/storm-dft-cli/storm-dft.cpp
@@ -114,7 +114,7 @@ void processOptions() {
             std::shared_ptr<storm::storage::DFT<double>> dft = loadDFT<double>();
             // Transform to GSPN
             storm::transformations::dft::DftToGspnTransformator<double> gspnTransformator(*dft);
-            bool smart = false;
+            bool smart = true;
             gspnTransformator.transform(smart);
             storm::gspn::GSPN* gspn = gspnTransformator.obtainGSPN();
             uint64_t toplevelFailedPlace = gspnTransformator.toplevelFailedPlaceId();