diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-20 14:53:19 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-20 14:53:19 -0700 |
commit | 0b515de430771d9bdc15fc29d41b391f1cc7c1fd (patch) | |
tree | afa45c418e24d6479a470a0428db39a99be76cd9 /cvc4autoconfig.h.in | |
parent | f3e1b280ae2bcea29856b9a113633e7064a08faa (diff) |
Remove antlr_undefines.h. (#2664)
Is not required anymore since we don't use autotools anymore.
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 |