From b9d1eb28f1817b38854f101866fa1348cf4dc3bd Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 13 Dec 2012 23:38:14 +0100 Subject: [PATCH] Removed superfluous operator. --- src/modelChecker/GmmxxDtmcPrctlModelChecker.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/modelChecker/GmmxxDtmcPrctlModelChecker.h b/src/modelChecker/GmmxxDtmcPrctlModelChecker.h index 25e87432a..264e1b27c 100644 --- a/src/modelChecker/GmmxxDtmcPrctlModelChecker.h +++ b/src/modelChecker/GmmxxDtmcPrctlModelChecker.h @@ -236,7 +236,7 @@ public: * Throws an exception of type InvalidSettings in case the selected method is illegal. */ static void validateLeMethod(const std::string& lemethod) { - if (lemethod.compare("bicgstab") != 0 && lemethod.compare("qmr") != 0 != 0) { + if (lemethod.compare("bicgstab") != 0 && lemethod.compare("qmr") != 0) { throw exceptions::InvalidSettings() << "Argument " << lemethod << " for option 'lemethod' is invalid."; } }