diff options
author | Erik Schnetter <schnetter@gmail.com> | 2013-04-04 12:06:30 -0400 |
---|---|---|
committer | Erik Schnetter <schnetter@gmail.com> | 2013-04-04 12:06:30 -0400 |
commit | 4f356038627da039d88820cfa145356ba6880faa (patch) | |
tree | 56c82b1577a987053c0bc39cab3118c7deccd301 /Carpet/Requirements | |
parent | 14c419829da917c36bfaf90cdc1dcc6ea883047e (diff) |
Requirements: Re-order if statement (no change in meaning)
Diffstat (limited to 'Carpet/Requirements')
-rw-r--r-- | Carpet/Requirements/src/clause.cc | 2 |
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; } |