add support for pthread_mutex

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index fb72e8186aab8ad1feaf7837fbff1194b89bef6f..887e2efa03df0f31832ff6ee260a1a8b1ed9794d 100644 (file)
--- 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;