From 7a3c66d28c2d29c1983d186435ed559a19fe34ff Mon Sep 17 00:00:00 2001 From: Thomas Klein Langenhorst Date: Thu, 1 Sep 2022 16:23:39 +0200 Subject: [PATCH] type fix --- lib/src/date_time_picker.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/date_time_picker.dart b/lib/src/date_time_picker.dart index bc027d8..0ddc31f 100644 --- a/lib/src/date_time_picker.dart +++ b/lib/src/date_time_picker.dart @@ -267,7 +267,7 @@ class _DateTimePickerState extends State { bool useTimeFormatBasedOnLocale() { // Get LocaleName of current platform and split language- and countryCode in 2 List values. - var deviceLocale = Platform.localeName.split('_'); + List deviceLocale = Platform.localeName.split('_'); // Make LocaleName of current platform in a Locale Object Locale defaultLocale = Locale.fromSubtags(