diff options
| -rw-r--r-- | src/common/Formatter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/Formatter.h b/src/common/Formatter.h index f77aa8db179..ac68b7f461d 100644 --- a/src/common/Formatter.h +++ b/src/common/Formatter.h @@ -45,7 +45,7 @@ class Formatter { virtual void dump_float(const char *name, double d) = 0; virtual void dump_string(const char *name, std::string s) = 0; virtual void dump_bool(const char *name, bool b) { - dump_string(name, (b ? "true" : "false")); + dump_format_unquoted(name, "%s", (b ? "true" : "false")); } virtual std::ostream& dump_stream(const char *name) = 0; virtual void dump_format(const char *name, const char *fmt, ...) = 0; |