make replayCounter a long to avoid overflows

alpha-asp · Jul 9, 2020 · 55b53c7 · 55b53c7
1 parent d5fbdf4
commit 55b53c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/at/ac/tuwien/kr/alpha/solver/TrailAssignment.java b/src/main/java/at/ac/tuwien/kr/alpha/solver/TrailAssignment.java
@@ -94,7 +94,7 @@ public void decreaseActivity() {
 	private int assignmentsForChoicePosition;
 	private int mbtCount;
 	private boolean checksEnabled;
-	int replayCounter;
+	long replayCounter;
 
 	public TrailAssignment(AtomStore atomStore, boolean checksEnabled) {
 		this.checksEnabled = checksEnabled;