X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=main.cc;h=a10bec364c0633ee569306b89243b3f1283fc3d6;hp=fd9536785bf763fc85e87e923f19e137ff8a1122;hb=110c70c7f5a9b438ba04824e91a277e73e8334ef;hpb=99d6712ba5650460a527c144cbc814bbe209bb4c

diff --git a/main.cc b/main.cc
index fd95367..a10bec3 100644
--- a/main.cc
+++ b/main.cc
@@ -35,6 +35,8 @@ static void print_usage(struct model_params *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"