[project @ 2002-04-30 09:26:14 by simonmar]
authorsimonmar <unknown>
Tue, 30 Apr 2002 09:26:14 +0000 (09:26 +0000)
committersimonmar <unknown>
Tue, 30 Apr 2002 09:26:14 +0000 (09:26 +0000)
commit52329097248a587ab15606bb4a6b046b1a7d386a
tree4de1810300aa119c34519c6b90f562e439a38d88
parentf5de14e922e1a8071c2a81e7c55141277c1cf2de
[project @ 2002-04-30 09:26:14 by simonmar]
As Matt Chapman pointed out to me, the argument to allocatePinned() is
in words, not bytes.  Fix the 8-byte alignment tweak (yet again).
ghc/rts/Storage.c