Closed kenbowen closed 4 years ago
Fixes #191. Fixes printf([]) succeeds without no output by dropping the special case for printf_check_format([], []).
Fixes #191. Fixes printf([]) succeeds without no output by dropping the special case for printf_check_format([], []).