diff --git a/src/json_ui.cc b/src/json_ui.cc index ee90eaa0..c6189f96 100644 --- a/src/json_ui.cc +++ b/src/json_ui.cc @@ -29,6 +29,7 @@ template String to_json(const Vector& vec) { return to_json(ArrayView{vec}); } String to_json(int i) { return to_string(i); } +String to_json(bool b) { return b ? "true" : "false"; } String to_json(StringView str) { String res;