From 8424aa65b7bb923137f2d81de8cc1ea7d0767f39 Mon Sep 17 00:00:00 2001
From: WeetHet <stas.ale66@gmail.com>
Date: Mon, 19 Aug 2024 12:30:51 +0300
Subject: [PATCH] Fix predicate in 104

---
 104-unique_digits.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/104-unique_digits.dfy b/104-unique_digits.dfy
index febd9b1..7e15328 100644
--- 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>)