fix warning
authorChristian Grothoff <christian@grothoff.org>
Wed, 8 Apr 2020 13:48:58 +0000 (15:48 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 8 Apr 2020 13:48:58 +0000 (15:48 +0200)
commit2348fe4ae8ffe93765d5c56c3cc5d4490eae946d
treebcfe2aa9d342e9db62386398676195720c86a5a8
parent17113fc2fd9d8607151dc4fecdbc161abb3b32fa
fix warning
src/json/json_generator.c