1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
index ce3efb21..22f38ca9 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
@@ -10,10 +10,10 @@ import tools.refinery.store.model.Model;
 import java.util.Random;
 
 public class BestFirstExplorer extends BestFirstWorker {
-        final int id;
+        final long id;
         Random random;
 
-        public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) {
+        public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, long id) {
                 super(storeManager, model);
                 this.id = id;
                 // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state