aboutsummaryrefslogtreecommitdiff
path: root/Carpet/Requirements
diff options
context:
space:
mode:
authorErik Schnetter <schnetter@gmail.com>2013-04-04 12:06:30 -0400
committerErik Schnetter <schnetter@gmail.com>2013-04-04 12:06:30 -0400
commit4f356038627da039d88820cfa145356ba6880faa (patch)
tree56c82b1577a987053c0bc39cab3118c7deccd301 /Carpet/Requirements
parent14c419829da917c36bfaf90cdc1dcc6ea883047e (diff)
Requirements: Re-order if statement (no change in meaning)
Diffstat (limited to 'Carpet/Requirements')
-rw-r--r--Carpet/Requirements/src/clause.cc2
1 files changed, 1 insertions, 1 deletions
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;
}