diff options
Diffstat (limited to 'cvc4autoconfig.h.in')
-rw-r--r-- | cvc4autoconfig.h.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in index ce8aeb5da..1c9fdf605 100644 --- a/cvc4autoconfig.h.in +++ b/cvc4autoconfig.h.in @@ -17,7 +17,7 @@ #define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@" /* Full name of this package. */ -#define PACKAGE_NAME "@PACKAGE_NAME@" +#define CVC4_PACKAGE_NAME "@CVC4_PACKAGE_NAME@" /* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */ #cmakedefine01 CVC4_GPL_DEPS |