Fix (#3530)

[cvc5.git] / cvc4autoconfig.h.in

diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in
index ce8aeb5dad18367b083f9bedad1bcce5985c28fc..1c9fdf60526f9c15d147a3c41401cd4b8429a900 100644 (file)
--- 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