rts: Fix profiled build after D4529
authorBen Gamari <ben@smart-cactus.org>
Mon, 26 Mar 2018 20:34:06 +0000 (16:34 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 27 Mar 2018 13:53:10 +0000 (09:53 -0400)
commitab9e986e61c3fca3d6842a60a0b0c9625dac11b9
treeee37980ce0fb1cdd9847cf3e97d127d59cabfd29
parentd1fb5831f574953661a3716720fbc798781d37eb
rts: Fix profiled build after D4529
rts/Stats.c
rts/Stats.h