improve randomization

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 61554eaa8e11b0d684d1d13a9df5d9a60aca2e83..0d4a6ad7d34b6c62397c2a007da8c1a4a5fcde0a 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -100,7 +100,6 @@ static void print_usage(const char *program_name, struct model_params *params)
                params->verbose,
     params->uninitvalue,
                params->maxexecutions);
-       model_print("Analysis plugins:\n");
 
        exit(EXIT_SUCCESS);
 }