This is int

pranavk · pranavk · commit 73f604ebafcf · 2018-03-30T20:09:07.000+05:30
diff --git a/src/settings/settings_manager.cpp b/src/settings/settings_manager.cpp
@@ -116,7 +116,7 @@ const std::string SettingsManager::GetInfo() const {
                          GetBool(SettingId::codegen) ? "enabled" : "disabled"));
   info.append(StringUtil::Format("%28s:   %-28s\n", "Optimization Timeout",
                                  GetInt(SettingId::task_execution_timeout)));
-  info.append(StringUtil::Format("%28s:   %-28s\n", "Number of GC threads", 
+  info.append(StringUtil::Format("%28s:   %-28i\n", "Number of GC threads", 
                                  GetInt(SettingId::gc_num_threads)));
   return StringBoxUtil::Box(info);
 }

Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,7 @@ const std::string SettingsManager::GetInfo() const {`
`116`	`116`	`GetBool(SettingId::codegen) ? "enabled" : "disabled"));`
`117`	`117`	`info.append(StringUtil::Format("%28s: %-28s\n", "Optimization Timeout",`
`118`	`118`	`GetInt(SettingId::task_execution_timeout)));`
`119`		`- info.append(StringUtil::Format("%28s: %-28s\n", "Number of GC threads",`
	`119`	`+ info.append(StringUtil::Format("%28s: %-28i\n", "Number of GC threads",`
`120`	`120`	`GetInt(SettingId::gc_num_threads)));`
`121`	`121`	`return StringBoxUtil::Box(info);`
`122`	`122`	`}`