Fix cursor of singleton AbstractNextStateDescriptor

ftsrg · Sep 14, 2023 · bb27659 · bb27659
1 parent 3010414
commit bb27659
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../java/hu/bme/mit/theta/analysis/algorithm/symbolic/model/AbstractNextStateDescriptor.java b/.../java/hu/bme/mit/theta/analysis/algorithm/symbolic/model/AbstractNextStateDescriptor.java
@@ -148,7 +148,7 @@ public boolean moveTo(int key) {
 
 			@Override
 			public Cursor valueCursor(int from) {
-				return null;
+				return value.cursor(from);
 			}
 
 			@Override