diff options
author | Henrik Nord <[email protected]> | 2013-12-02 15:51:11 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2013-12-02 15:51:11 +0100 |
commit | 471abeb72af964049fcd3ed169d1bca7c5534d4c (patch) | |
tree | 62a18a1780b71aa285b44e703501587ded10ea05 /erts/emulator/sys | |
parent | 026a9226fcd47d29870f5b5d879919ce4f60d785 (diff) | |
parent | 25b992335e82919d6166b860c9b97710c5f33ae1 (diff) | |
download | otp-471abeb72af964049fcd3ed169d1bca7c5534d4c.tar.gz otp-471abeb72af964049fcd3ed169d1bca7c5534d4c.tar.bz2 otp-471abeb72af964049fcd3ed169d1bca7c5534d4c.zip |
Merge branch 'maint'
Diffstat (limited to 'erts/emulator/sys')
-rw-r--r-- | erts/emulator/sys/common/erl_poll.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/erts/emulator/sys/common/erl_poll.c b/erts/emulator/sys/common/erl_poll.c index 7676d8872a..0a58a625b2 100644 --- a/erts/emulator/sys/common/erl_poll.c +++ b/erts/emulator/sys/common/erl_poll.c @@ -2510,7 +2510,8 @@ ERTS_POLL_EXPORT(erts_poll_destroy_pollset)(ErtsPollSet ps) pollsets = pollsets->next; else { ErtsPollSet prev_ps; - for (prev_ps = pollsets; ps != prev_ps->next; prev_ps = prev_ps->next); + for (prev_ps = pollsets; ps != prev_ps->next; prev_ps = prev_ps->next) + ; ASSERT(ps == prev_ps->next); prev_ps->next = ps->next; } |