path: root/storm-non-exact.patch

diff --git a/dftcalc/dftcalc.cpp b/dftcalc/dftcalc.cpp
index df84616..b4e748d 100644
--- a/dftcalc/dftcalc.cpp
+++ b/dftcalc/dftcalc.cpp
@@ -867,8 +867,6 @@ int DFT::DFTCalc::calculateDFT(const bool reuse,
 		}
 		
 		StormRunner *sr = new StormRunner(messageFormatter, &exec, stormExec, jani);
-		if (useConverter == DFTRES)
-			sr->runExact = 1;
 		checker = std::unique_ptr<Checker>(sr);
 		break;
 	}