From d99c014bf794729c81f00336fe541b59c842aca6 Mon Sep 17 00:00:00 2001
From: Dima S <dima.sukhikh@nedap.com>
Date: Tue, 25 Jun 2024 09:27:59 +0200
Subject: [PATCH] chore: correct the usage of a legacy numeric constant

---
 crates/aiken-lang/src/expr.rs              | 2 +-
 crates/aiken-project/src/test_framework.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/aiken-lang/src/expr.rs b/crates/aiken-lang/src/expr.rs
index b39525e8..cb7bf79c 100644
--- a/crates/aiken-lang/src/expr.rs
+++ b/crates/aiken-lang/src/expr.rs
@@ -1337,7 +1337,7 @@ impl UntypedExpr {
         match self {
             Self::BinOp { name, .. } => name.precedence(),
             Self::PipeLine { .. } => 0,
-            _ => std::u8::MAX,
+            _ => u8::MAX,
         }
     }
 
diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs
index 9c7b3e80..a9ccebb9 100644
--- a/crates/aiken-project/src/test_framework.rs
+++ b/crates/aiken-project/src/test_framework.rs
@@ -731,7 +731,7 @@ impl<'a> Counterexample<'a> {
                         let jv = self.choices[j];
 
                         // Replace
-                        if iv > 0 && jv <= u8::max_value() - iv {
+                        if iv > 0 && jv <= u8::MAX - iv {
                             self.binary_search_replace(0, iv, |v| vec![(i, v), (j, jv + (iv - v))]);
                         }