diff options
Diffstat (limited to 'src/main/about.h')
-rw-r--r-- | src/main/about.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/about.h b/src/main/about.h index d00b1eaec..a30cffd39 100644 --- a/src/main/about.h +++ b/src/main/about.h @@ -21,9 +21,11 @@ namespace main { const char about[] = "\ This is a pre-release of CVC4.\n\ -Copyright (C) 2009 The ACSys Group\n\ - Courant Institute of Mathematical Sciences,\n\ - New York University\n\ +Copyright (C) 2009, 2010\n\ + The ACSys Group\n\ + Courant Institute of Mathematical Sciences,\n\ + New York University\n\ + New York, NY 10012 USA\n\ "; }/* CVC4::main namespace */ |