Forgot init

harmonylang · Aug 20, 2023 · 9ee37a1 · 9ee37a1
1 parent e26d45e
commit 9ee37a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -3531,6 +3531,7 @@ int exec_model_checker(int argc, char **argv){
     struct state *state = calloc(1, sizeof(struct state) + sizeof(hvalue_t) + 1);
     state->vars = VALUE_DICT;
     hvalue_t ictx = value_put_context(&engine, init_ctx);
+    state->chooser = -1;
     state->bagsize = 1;
     state_contexts(state)[0] = ictx;
     multiplicities(state)[0] = 1;