diff options
author | Erik Schnetter <schnetter@gmail.com> | 2012-10-23 18:30:07 -0400 |
---|---|---|
committer | Erik Schnetter <schnetter@gmail.com> | 2012-10-23 18:30:07 -0400 |
commit | 4e6117c062f80c398120dc4cd8691c20ebb14c85 (patch) | |
tree | 982860fb33f231fef297b4978816a9bda650db93 /Carpet/Carpet | |
parent | 074db64b40e368eed04fffa75c5474c89763590b (diff) |
Carpet: Requirements: Add precondition to clause_t::active_on_timelevel
Diffstat (limited to 'Carpet/Carpet')
-rw-r--r-- | Carpet/Carpet/src/Requirements.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Carpet/Carpet/src/Requirements.cc b/Carpet/Carpet/src/Requirements.cc index c4cd52a6e..699c40f17 100644 --- a/Carpet/Carpet/src/Requirements.cc +++ b/Carpet/Carpet/src/Requirements.cc @@ -199,6 +199,7 @@ namespace Carpet { bool clause_t::active_on_timelevel(int const tl) const { + assert(tl>=0); if (all_timelevels) return true; if (timelevel0 and tl==0) return true; if (timelevel1 and tl==1) return true; |