Merge branch 'next' of github.com:harmonylang/harmony into next

harmonylang · Jan 15, 2025 · f1e7512 · f1e7512
2 parents 3570ede + 3f2f822
commit f1e7512
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/harmony_model_checker/charm/ops.c b/harmony_model_checker/charm/ops.c
@@ -180,7 +180,7 @@ static bool is_sequential(hvalue_t seqvars, hvalue_t *indices, unsigned int n){
         assert(VALUE_TYPE(seqs[i]) == VALUE_ADDRESS_SHARED);
         unsigned int sn;
         hvalue_t *inds = value_get(seqs[i], &sn);
-        if (n >= sn && sn >= 0 && memcmp(indices, inds, sn) == 0) {
+        if (n >= sn && memcmp(indices, inds, sn) == 0) {
             return true;
         }
     }