X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=887e2efa03df0f31832ff6ee260a1a8b1ed9794d;hp=fb72e8186aab8ad1feaf7837fbff1194b89bef6f;hb=e4b59e52989269c529e94bea1cd1b9dfe418a0ce;hpb=5afb7f87917a67712fe289470ee03de0864fee7d

diff --git a/execution.cc b/execution.cc
index fb72e818..887e2efa 100644
--- a/execution.cc
+++ b/execution.cc
@@ -2719,7 +2719,7 @@ static void print_list(const action_list_t *list)
 	action_list_t::const_iterator it;
 
 	model_print("------------------------------------------------------------------------------------\n");
-	model_print("#    t    Action type     MO       Location         Value               Rf  CV\n");
+	model_print("#    t     Action type     MO       Location         Value               Rf  CV\n");
 	model_print("------------------------------------------------------------------------------------\n");
 
 	unsigned int hash = 0;