Correct domain size

RipplB · Oct 12, 2023 · 34b7f87 · 34b7f87
1 parent d69d52b
commit 34b7f87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xta/xta/src/main/java/hu/bme/mit/theta/xta/utils/ClockType.java b/subprojects/xta/xta/src/main/java/hu/bme/mit/theta/xta/utils/ClockType.java
@@ -36,6 +36,6 @@ public String toString() {
 
     @Override
     public DomainSize getDomainSize() {
-        return DomainSize.ONE;
+        return DomainSize.INFINITY;
     }
 }