projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
scanalysis: fix warning
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 1eb57d7515823012c51026db219af0e6e9bf0a77..62ba8fb3ff0ee631d960649286142d0608560135 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-250,7
+250,7
@@
void Scheduler::set_scheduler_thread(thread_id_t tid) {
*/
void Scheduler::set_current_thread(Thread *t)
{
*/
void Scheduler::set_current_thread(Thread *t)
{
- ASSERT(
t &&
!t->is_model_thread());
+ ASSERT(
!t ||
!t->is_model_thread());
current = t;
if (DBG_ENABLED())
current = t;
if (DBG_ENABLED())