X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=execution.cc;h=403d70fe06361f3959ed21a4b94654b5fc6b4c1a;hp=4496b9c63deeca6fa8198ec086425ba8fa1d6932;hb=6d27ffdd1fc1f816a8381c4c0553256598d62f4a;hpb=98dd349fcc6e59853e3b54f33ea449527fcd9382

diff --git a/execution.cc b/execution.cc
index 4496b9c..403d70f 100644
--- a/execution.cc
+++ b/execution.cc
@@ -2630,7 +2630,9 @@ static void print_list(const action_list_t *list)
 {
 	action_list_t::const_iterator it;
 
-	model_print("---------------------------------------------------------------------\n");
+	model_print("------------------------------------------------------------------------------------\n");
+	model_print("#    t    Action type     MO       Location         Value               Rf  CV\n");
+	model_print("------------------------------------------------------------------------------------\n");
 
 	unsigned int hash = 0;
 
@@ -2641,7 +2643,7 @@ static void print_list(const action_list_t *list)
 		hash = hash^(hash<<3)^((*it)->hash());
 	}
 	model_print("HASH %u\n", hash);
-	model_print("---------------------------------------------------------------------\n");
+	model_print("------------------------------------------------------------------------------------\n");
 }
 
 #if SUPPORT_MOD_ORDER_DUMP