Update ResultPrinter.cpp

TAPAAL · Nov 21, 2023 · dac3e95 · dac3e95
1 parent bed17ac
commit dac3e95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/PetriEngine/Reachability/ResultPrinter.cpp b/src/PetriEngine/Reachability/ResultPrinter.cpp
@@ -214,7 +214,7 @@ namespace PetriEngine {
                 transitions.push(p.second);
             }
 
-            auto reducer = reducer ? reducer : builder->getReducer();
+            reducer = reducer ? reducer : builder->getReducer();
 
             if(reducer != nullptr)
                 reducer->initFire(std::cerr);