Fix predicate in 104

JetBrains-Research · Aug 19, 2024 · 8424aa6 · 8424aa6
1 parent 27c6ef8
commit 8424aa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/104-unique_digits.dfy b/104-unique_digits.dfy
@@ -1,7 +1,7 @@
 predicate HasNoEvenDigit(n: int)
   decreases n
 {
-  n >= 0 && (n < 10 || (n % 10 % 2 != 0 && HasNoEvenDigit(n / 10)))
+  n >= 0 && ((n < 10 && n % 2 == 1) || (n % 2 == 1 && HasNoEvenDigit(n / 10)))
 }
 
 method UniqueDigits(x: seq<int>) returns (result: seq<int>)