=== modified file 'src/VerifyPN.cpp'
--- src/VerifyPN.cpp	2020-10-19 19:47:58 +0000
+++ src/VerifyPN.cpp	2020-11-13 10:06:58 +0000
@@ -754,13 +754,6 @@
         return ErrorCode;
     }
 
-    if (options.strategy == PetriEngine::Reachability::OverApprox && options.queryReductionTimeout == 0)
-    { 
-        // Conflicting flags "-s OverApprox" and "-q 0"
-        std::cerr << "Conflicting flags '-s OverApprox' and '-q 0'" << std::endl;
-        return ErrorCode;
-    }
-
     // simplification. We always want to do negation-push and initial marking check.
     {
         // simplification. We always want to do negation-push and initial marking check.