diff options
Diffstat (limited to 'storm-non-exact.patch')
-rw-r--r-- | storm-non-exact.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/storm-non-exact.patch b/storm-non-exact.patch new file mode 100644 index 0000000..09ca080 --- /dev/null +++ b/storm-non-exact.patch | |||
@@ -0,0 +1,13 @@ | |||
1 | diff --git a/dftcalc/dftcalc.cpp b/dftcalc/dftcalc.cpp | ||
2 | index df84616..b4e748d 100644 | ||
3 | --- a/dftcalc/dftcalc.cpp | ||
4 | +++ b/dftcalc/dftcalc.cpp | ||
5 | @@ -867,8 +867,6 @@ int DFT::DFTCalc::calculateDFT(const bool reuse, | ||
6 | } | ||
7 | |||
8 | StormRunner *sr = new StormRunner(messageFormatter, &exec, stormExec, jani); | ||
9 | - if (useConverter == DFTRES) | ||
10 | - sr->runExact = 1; | ||
11 | checker = std::unique_ptr<Checker>(sr); | ||
12 | break; | ||
13 | } | ||