Fix crash on older devices

ZeusWPI · Jan 28, 2024 · 1fb06ff · 1fb06ff
1 parent 7a44aa9
commit 1fb06ff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/app/src/main/java/be/ugent/zeus/hydra/resto/RestoMenu.java b/app/src/main/java/be/ugent/zeus/hydra/resto/RestoMenu.java
@@ -31,6 +31,7 @@
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Objects;
+import java.util.stream.Collectors;
 
 /**
  * Represents a menu for a single day.
@@ -117,7 +118,7 @@ private List<RestoMeal> fixSoups(List<RestoMeal> soups) {
         }
         final String suffix = priceBig;
 
-        return finalSoups.stream().map(s -> s.withPrice(s.price() + " / " + suffix)).toList();
+        return finalSoups.stream().map(s -> s.withPrice(s.price() + " / " + suffix)).collect(Collectors.toList());
     }
 
     /**