From f87f038c5f0821d0fefb01cea00bfdec6004da91 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 9 Apr 2021 17:22:07 -0700 Subject: Rename CVC4_ macros to CVC5_. (#6327) --- src/theory/arith/nl/cad/projections.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/arith/nl/cad/projections.h') diff --git a/src/theory/arith/nl/cad/projections.h b/src/theory/arith/nl/cad/projections.h index c1ce91303..f3c8aa0f1 100644 --- a/src/theory/arith/nl/cad/projections.h +++ b/src/theory/arith/nl/cad/projections.h @@ -19,7 +19,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H #define CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H -#ifdef CVC4_USE_POLY +#ifdef CVC5_USE_POLY #include -- cgit v1.2.3