diff options
Diffstat (limited to 'src/generator.ml')
| -rwxr-xr-x | src/generator.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/generator.ml b/src/generator.ml index a2b40b86..b7fe470b 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -4643,7 +4643,11 @@ static int %s (void) and generate_one_test_body name i test_name init test = (match init with - | InitNone + | InitNone (* XXX at some point, InitNone and InitEmpty became + * folded together as the same thing. Really we should + * make InitNone do nothing at all, but the tests may + * need to be checked to make sure this is OK. + *) | InitEmpty -> pr " /* InitNone|InitEmpty for %s */\n" test_name; List.iter (generate_test_command_call test_name) |