Fix casting bug

informalsystems · Oct 21, 2024 · fee1af0 · fee1af0
1 parent a9a4b12
commit fee1af0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/transfers/enclave/src/transfers_server.rs b/examples/transfers/enclave/src/transfers_server.rs
@@ -211,7 +211,7 @@ where
         }
 
         let seq_num_diff = message.seq_num - self.seq_num;
-        if seq_num_diff != pending_sequenced_requests {
+        if seq_num_diff != pending_sequenced_requests as u64 {
             return Err(Status::failed_precondition("seq_num_diff mismatch"));
         }