diff options
Diffstat (limited to 'rts/linker/PEi386.c')
| -rw-r--r-- | rts/linker/PEi386.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/linker/PEi386.c b/rts/linker/PEi386.c index aa841c070e..b660ceba1f 100644 --- a/rts/linker/PEi386.c +++ b/rts/linker/PEi386.c @@ -1594,7 +1594,7 @@ ocGetNames_PEi386 ( ObjectCode* oc ) barf ("Could not allocate any heap memory from private heap."); } - ASSERT(section.size == 0 || section.info->virtualSize == 0); + CHECK(section.size == 0 || section.info->virtualSize == 0); sz = section.size; if (sz < section.info->virtualSize) sz = section.info->virtualSize; @@ -2032,7 +2032,7 @@ ocRunInit_PEi386 ( ObjectCode *oc ) getProgEnvv(&envc, &envv); Section section = *oc->info->init; - ASSERT(SECTIONKIND_INIT_ARRAY == section.kind); + CHECK(SECTIONKIND_INIT_ARRAY == section.kind); uint8_t *init_startC = section.start; init_t *init_start = (init_t*)init_startC; |