From 4f356038627da039d88820cfa145356ba6880faa Mon Sep 17 00:00:00 2001 From: Erik Schnetter Date: Thu, 4 Apr 2013 12:06:30 -0400 Subject: Requirements: Re-order if statement (no change in meaning) --- Carpet/Requirements/src/clause.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Carpet/Requirements') diff --git a/Carpet/Requirements/src/clause.cc b/Carpet/Requirements/src/clause.cc index cfaa24a08..17825c891 100644 --- a/Carpet/Requirements/src/clause.cc +++ b/Carpet/Requirements/src/clause.cc @@ -129,7 +129,7 @@ namespace Requirements { if (timelevel2 and tl==2) return true; bool const no_timelevel_clause = not timelevel0 and not timelevel1 and not timelevel2; - if (tl==0 and no_timelevel_clause) return true; + if (no_timelevel_clause and tl==0) return true; return false; } -- cgit v1.2.3