From 2965094e9c0d9c4063e2f62c4f36994e8e647cc4 Mon Sep 17 00:00:00 2001
From: Robbert Van Renesse <rvr@cis03012.fractus.cs.cornell.edu>
Date: Sat, 19 Aug 2023 16:41:11 -0400
Subject: [PATCH] Typo

---
 harmony_model_checker/charm/charm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
index 8ac1e46b..b785085e 100644
--- a/harmony_model_checker/charm/charm.c
+++ b/harmony_model_checker/charm/charm.c
@@ -875,7 +875,7 @@ static bool onestep(
     printf("AFTER %p %d\n", (void *) after, ctx_index);
 
     // Remove old context from the bag
-    context_remove_by_index(sc, ctx);
+    context_remove(sc, ctx);
 
     // Add new context to state unless it's terminated or stopped.
     int index;