Merge pull request #4414 from jacereda/initial-message-error
idris_checkInitMessages() didn't check the init bit properly
commitc77938fda25cf85f88d1b2ea34a52ca9df384799
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 9 Apr 2018, 00:50 (9 years ago)
parent10a9188764df5f
rts/idris_rts.c+1−1
@@ -978,7 +978,7 @@ Msg* idris_checkInitMessages(VM* vm) {
978978 Msg* msg;
979979
980980 for (msg = vm->inbox; msg < vm->inbox_end && msg->msg != NULL; ++msg) {
981− if (msg->channel_id && 1 == 1) { // init bit set
981+ if ((msg->channel_id & 1) == 1) { // init bit set
982982 return msg;
983983 }
984984 }