diff options
Diffstat (limited to 'src/main/about.h')
| -rw-r--r-- | src/main/about.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/about.h b/src/main/about.h index f582debf0..e02183ba7 100644 --- a/src/main/about.h +++ b/src/main/about.h @@ -1,8 +1,8 @@ -#ifndef __CVC4_ABOUT_H -#define __CVC4_ABOUT_H +#ifndef __CVC4__MAIN__ABOUT_H +#define __CVC4__MAIN__ABOUT_H namespace CVC4 { -namespace Main { +namespace main { const char about[] = "\ This is a pre-release of CVC4.\n\ @@ -11,7 +11,7 @@ Copyright (C) 2009 The ACSys Group\n\ New York University\n\ "; -}/* CVC4::Main namespace */ +}/* CVC4::main namespace */ }/* CVC4 namespace */ #endif /* __CVC4_MAIN_H */ |