promise: move constructor out of header

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 655c511db1b4fa1f282f6d8a770e29490f27d1d5..0bccd833ff843e40fd700f8ea3f198b1a2f4e065 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2807,5 +2807,6 @@ void ModelChecker::run()
                };
        } while (next_execution());
 
+       model_print("******* Model-checking complete: *******\n");
        print_stats();
 }