Nothing happened...

harmonylang · Jan 17, 2025 · f729285 · f729285
1 parent f1e7512
commit f729285
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -5323,9 +5323,6 @@ int exec_model_checker(int argc, char **argv){
     fprintf(out, "}\n");
     fclose(out);
 
-    // iface_write_spec_graph_to_file("iface.gv");
-    // iface_write_spec_graph_to_json_file("iface.json");
-
     if (Tflag) {
         printf("* Timing info\n");
         for (unsigned int i = 0; i < global.nphases; i++) {