diff options
Diffstat (limited to 'generator')
| -rw-r--r-- | generator/tests_c_api.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/generator/tests_c_api.ml b/generator/tests_c_api.ml index 1d88583f..035b77f6 100644 --- a/generator/tests_c_api.ml +++ b/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) { |