model: rename PendingFutureValue 'act' to 'reader'

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index ab37af4cc02fa3368906ff8537ce56dd637d9d98..a10bec364c0633ee569306b89243b3f1283fc3d6 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -33,6 +33,10 @@ static void print_usage(struct model_params *params)
        param_defaults(params);
 
        model_print(
+"Copyright (c) 2013 Regents of the University of California. All rights reserved.\n"
+"Distributed under the GPLv2\n"
+"Written by Brian Norris and Brian Demsky\n"
+"\n"
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"
 "Options:\n"