changeset 140 | 425f8c6946f4 |
parent 139 | eaf40f3173ad |
child 145 | 98ebd63b85c9 |
--- a/s/libInit.cc Fri Jul 26 00:32:44 2013 +0100 +++ b/s/libInit.cc Sat Jul 27 13:26:01 2013 +0100 @@ -30,6 +30,7 @@ _BenchmarkExecutor_Init(pass,__pRT__,snd); _BenchmarkInstance_Init(pass,__pRT__,snd); _BenchmarkOutcome_Init(pass,__pRT__,snd); +_BenchmarkParameter_Init(pass,__pRT__,snd); _BenchmarkParameterError_Init(pass,__pRT__,snd); _BenchmarkPlatform_Init(pass,__pRT__,snd); _BenchmarkReport_Init(pass,__pRT__,snd);