Got rid of debug output

harmonylang · Jan 21, 2024 · 8760cca · 8760cca
1 parent 0df26ec
commit 8760cca
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -353,7 +353,6 @@ static void run_direct(struct state *state){
                 break;
             }
             if (step.ctx->stopped) {
-                printf("Context has stopped\n");
                 break;
             }