From f930514ae9d4ee5a217d185339ad99bf513fdf84 Mon Sep 17 00:00:00 2001 From: Ryan Heise Date: Fri, 18 Dec 2020 01:07:06 +1100 Subject: [PATCH] Remove unused _random. --- just_audio_web/lib/just_audio_web.dart | 2 -- 1 file changed, 2 deletions(-) diff --git a/just_audio_web/lib/just_audio_web.dart b/just_audio_web/lib/just_audio_web.dart index 262638f..4ad8d64 100644 --- a/just_audio_web/lib/just_audio_web.dart +++ b/just_audio_web/lib/just_audio_web.dart @@ -7,8 +7,6 @@ import 'package:flutter/widgets.dart'; import 'package:flutter_web_plugins/flutter_web_plugins.dart'; import 'package:just_audio_platform_interface/just_audio_platform_interface.dart'; -final Random _random = Random(); - class JustAudioPlugin extends JustAudioPlatform { final Map players = {};