From 3fa62bb77a057ae3bbf37590bb30d57db5dd909a Mon Sep 17 00:00:00 2001
From: Will Bradley <68962413+a2435191@users.noreply.github.com>
Date: Sun, 17 May 2026 02:24:56 -0400
Subject: [PATCH] Implement fix

---
 harmony_model_checker/charm/ops.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/harmony_model_checker/charm/ops.c b/harmony_model_checker/charm/ops.c
index b0e1a6ae..a2db7986 100644
--- a/harmony_model_checker/charm/ops.c
+++ b/harmony_model_checker/charm/ops.c
@@ -2207,7 +2207,7 @@ void do_Load(struct state *state, struct step *step,
             unsigned total = vip->size;
             vip++;
             for (unsigned int i = k; i < size; i++, vip++) {
-                if (VALUE_TYPE(indices[k]) != VALUE_ATOM) {
+                if (VALUE_TYPE(indices[i]) != VALUE_ATOM) {
                     char *p = value_string(av);
                     value_ctx_failure(step->ctx, step->allocator, "Load %s: bad string index", p);
                     free(p);
@@ -2253,7 +2253,7 @@ void do_Load(struct state *state, struct step *step,
             unsigned total = vip->size;
             vip++;
             for (unsigned int i = k; i < size; i++, vip++) {
-                if (VALUE_TYPE(indices[k]) != VALUE_LIST) {
+                if (VALUE_TYPE(indices[i]) != VALUE_LIST) {
                     char *p = value_string(av);
                     value_ctx_failure(step->ctx, step->allocator, "Load %s: bad list index", p);
                     free(p);