[project @ 2001-11-14 16:34:22 by simonmar]
authorsimonmar <unknown>
Wed, 14 Nov 2001 16:34:22 +0000 (16:34 +0000)
committersimonmar <unknown>
Wed, 14 Nov 2001 16:34:22 +0000 (16:34 +0000)
commit9a558a755387b2a1fc86a738c94d43a5bdd62fda
tree07f5259889b20fc0c355ce96620d78f3858cbbaa
parent37ed96e43d3a02215f41a3e1a034596ba62c0702
[project @ 2001-11-14 16:34:22 by simonmar]
use SET_HDR rather than explicitly setting p->header.info.
ghc/rts/RtsAPIDeprec.c