From 3712574784ce66114a197bac1df0daf539b688ea Mon Sep 17 00:00:00 2001
From: Martin Michelsen <fuzziqersoftware+g@gmail.com>
Date: Tue, 21 Nov 2023 17:09:31 -0800
Subject: [PATCH] minor style adjustment

---
 src/Main.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/Main.cc b/src/Main.cc
index c6de4946..9e97ed7b 100644
--- a/src/Main.cc
+++ b/src/Main.cc
@@ -2021,14 +2021,13 @@ int main(int argc, char** argv) {
         config_log.info("Starting game server");
         state->game_server.reset(new Server(base, state));
 
-        shared_ptr<FILE> log_f(
-            stdin, +[](FILE*) {});
+        auto nop_destructor = +[](FILE*) {};
+        shared_ptr<FILE> log_f(stdin, nop_destructor);
         if (input_filename && strcmp(input_filename, "-")) {
           log_f = fopen_shared(input_filename, "rt");
         }
 
-        replay_session.reset(new ReplaySession(
-            base, log_f.get(), state, replay_require_basic_credentials));
+        replay_session.reset(new ReplaySession(base, log_f.get(), state, replay_require_basic_credentials));
         replay_session->start();
 
       } else if (behavior == Behavior::RUN_SERVER) {