Fix warning about no such builtin

This commit is contained in:
2022-03-22 13:22:42 -04:00
parent a7cdedf82b
commit 0094b503f6
2 changed files with 2 additions and 2 deletions

View File

@@ -203,7 +203,7 @@ public:
void receive_diff_from_server(StreamBuffer *sb) {
world_to_synchronous();
try {
DebugCollector dbc("patch_everything");
DebugCollector dbc("");
int64_t nactor = world_->patch_everything(sb, &dbc);
if (nactor != actor_id_) change_actor_id(nactor);
dbc.dump(stdostream());