rust/hedgewars-server/src/server/database.rs
changeset 15531 ede5f4ec48f3
parent 15517 abd5eb807166
child 15532 f1205f33bf5b
--- a/rust/hedgewars-server/src/server/database.rs	Thu Dec 26 21:04:37 2019 +0300
+++ b/rust/hedgewars-server/src/server/database.rs	Thu Dec 26 21:55:51 2019 +0300
@@ -109,7 +109,7 @@
             if let Some(row) =
                 pool.first_exec(GET_REPLAY_NAME_QUERY, params! { "id" => replay_id })?
             {
-                let filename = from_row_opt::<(String)>(row)?;
+                let filename = from_row_opt::<String>(row)?;
                 Ok(Some(filename))
             } else {
                 Ok(None)