From d1573c9906ad7c9ebd8fddcbdcba46666871be0d Mon Sep 17 00:00:00 2001
From: Robbert van Renesse <rv22@cornell.edu>
Date: Mon, 25 Sep 2023 15:02:26 -0400
Subject: [PATCH] Latest

---
 harmony_model_checker/charm/charm.c | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
index 1726fea4..1356b5f9 100644
--- a/harmony_model_checker/charm/charm.c
+++ b/harmony_model_checker/charm/charm.c
@@ -3878,17 +3878,8 @@ int exec_model_checker(int argc, char **argv){
         }
         double now = gettime();
         tarjan(global);
-        double tween = gettime();
         computed_components = true;
-<<<<<<< HEAD
-
-        // Compute shortest path to initial state for each node.
-        // shortest_path(global);
-
-        printf("    * %u components (%.2lf+%.2lf seconds)\n", global->ncomponents, tween - now, gettime() - tween);
-=======
         printf("    * %u components (%.2lf seconds)\n", global->ncomponents, gettime() - now);
->>>>>>> next
 
 #ifdef DUMP_GRAPH
         printf("digraph Harmony {\n");