From 95cfd6f82ac5838c89975047267ad099f3d6426a Mon Sep 17 00:00:00 2001
From: Luke Biddell <luke.a.biddell@gmail.com>
Date: Thu, 15 Apr 2021 00:13:47 +0100
Subject: [PATCH] add option to provide Random for notch LevelGenerator

---
 src/levelGenerators/notch/LevelGenerator.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/levelGenerators/notch/LevelGenerator.java b/src/levelGenerators/notch/LevelGenerator.java
index 5d960665a..285ab9452 100755
--- a/src/levelGenerators/notch/LevelGenerator.java
+++ b/src/levelGenerators/notch/LevelGenerator.java
@@ -31,6 +31,12 @@ public LevelGenerator(int type, int difficulty) {
         this.difficulty = difficulty;
     }
 
+    public LevelGenerator(int type, int difficulty, Random random) {
+        this.random = random;
+        this.type = type;
+        this.difficulty = difficulty;
+    }
+
     private int buildZone(MarioLevelModel model, int x, int maxLength) {
         int t = random.nextInt(totalOdds);
         int type = 0;