diff options
| -rw-r--r-- | generator/generator_tests_c_api.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/generator/generator_tests_c_api.ml b/generator/generator_tests_c_api.ml index 739e4e9f..555b1f57 100644 --- a/generator/generator_tests_c_api.ml +++ b/generator/generator_tests_c_api.ml @@ -74,16 +74,6 @@ print_strings (char *const *argv) printf (\"\\t%%s\\n\", argv[argc]); } -/* -static void print_table (char const *const *argv) -{ - size_t i; - - for (i = 0; argv[i] != NULL; i += 2) - printf (\"%%s: %%s\\n\", argv[i], argv[i+1]); -} -*/ - static int is_available (const char *group) { |