X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStgStartup.cmm;h=c3c0bc3dd7cc6c627926d37b4732abc8d383424d;hb=de75026f5a48d3d052135a973ab4dff76c5b20f5;hp=16e5c628014cdbb8b4e320b0d39c67f3544dd900;hpb=02620e7c705ac946db43e61988ca3781af3f2447;p=ghc-hetmet.git

diff --git a/rts/StgStartup.cmm b/rts/StgStartup.cmm
index 16e5c62..c3c0bc3 100644
--- a/rts/StgStartup.cmm
+++ b/rts/StgStartup.cmm
@@ -28,9 +28,7 @@
     ASSERT(Hp != 0);			\
     ASSERT(Sp != 0);			\
     ASSERT(SpLim != 0);			\
-    ASSERT(HpLim != 0);			\
-    ASSERT(SpLim - WDS(RESERVED_STACK_WORDS) <= Sp); \
-    ASSERT(HpLim >= Hp);
+    ASSERT(SpLim - WDS(RESERVED_STACK_WORDS) <= Sp);
 
 /* -----------------------------------------------------------------------------
    Returning from the STG world.