From 4807bfd8332dd5c2cf2a71fd6eecef3bb97a4bc1 Mon Sep 17 00:00:00 2001
From: Gustl22 <git@reb0.org>
Date: Sun, 11 Aug 2024 15:18:50 +0200
Subject: [PATCH] Revert "remove unnecessary cast"

This reverts commit 90b205b173e9d304e065b8fc3a295a8cc2bec110.
---
 packages/audioplayers_web/lib/wrapped_player.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/audioplayers_web/lib/wrapped_player.dart b/packages/audioplayers_web/lib/wrapped_player.dart
index a8813aa07..d3f447a0d 100644
--- a/packages/audioplayers_web/lib/wrapped_player.dart
+++ b/packages/audioplayers_web/lib/wrapped_player.dart
@@ -206,7 +206,7 @@ class WrappedPlayer {
   }
 
   void pause() {
-    _pausedAt = player?.currentTime;
+    _pausedAt = player?.currentTime as double?;
     _isPlaying = false;
     player?.pause();
   }